Hauptidealbereich/Teilbarkeit/Lemma von Euklid/Fakt/Beweis/Aufgabe/Lösung


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.