Hauptidealbereich/Teilbarkeit/Lemma von Euklid/Fakt/Beweis/Aufgabe