Hauptidealbereich/Teilbarkeit/Lemma von Euklid/Fakt

Aus Wikiversity
Lemma von Euklid (Hauptidealbereich)

Es sei ein Hauptidealbereich und . Es seien und teilerfremd und teile das Produkt . Dann teilt den Faktor .