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.

Faccio notare che per dimostrare l'unicità della fattorizzazione si passa proprio da Bezout.