Divisibilità in Z[i]

[GreenLink]

Non riesco a dimostrare questo fatto in Z[i]: dati due interi gaussiani tali che il primo divide il secondo, allora il coniugato del primo divide il coniugato del secondo.

[irenze]

Sfrutta la definizione di divisibilità e il fatto che il prodotto dei coniugati è il coniugato del prodotto.