Hauptidealbereich/Teilbarkeit/Lemma von Euklid/Fakt
Lemma von Euklid (Hauptidealbereich)
Es sei ein Hauptidealbereich und . Es seien und teilerfremd und teile das Produkt . Dann teilt den Faktor .
Es sei ein
Hauptidealbereich
und
.
Es seien
und
teilerfremd
und
teile das Produkt
. Dann teilt
den Faktor
.