[quote=&quot;Massimo Gobbino&quot;:16lahn9c]Beh, se non si vuole usare la fattorizzazione, bisogna andare ad un livello più profondo, e quindi usare Bezout e cioè, in ultima analisi, la divisione euclidea.[/quote:16lahn9c]

in effetti diventa semplice anche così dimostrarlo mi pare
allego una possibile dimostrazione sfruttando Bezout  <!-- s:) --><img src="{SMILIES_PATH}/icon_smile.gif" alt=":)" title="Smile" /><!-- s:) --> 

[quote=&quot;Massimo Gobbino&quot;:16lahn9c]...Faccio notare che per dimostrare l'unicità della fattorizzazione si passa proprio da Bezout.[/quote:16lahn9c]

non mi ricordavo questo passaggio...me la riguardo  <!-- s:roll: --><img src="{SMILIES_PATH}/icon_rolleyes.gif" alt=":roll:" title="Rolling Eyes" /><!-- s:roll: -->