Hauptidealbereich/Teilbarkeit/Lemma von Euklid/Fakt/Beweis

Beweis

Da und teilerfremd sind, gibt es nach dem Lemma von Bezout Elemente mit . Die Voraussetzung, dass das Produkt teilt, schreiben wir als . Damit gilt

was zeigt, dass ein Vielfaches von ist.