Hauptidealbereich/Zwei teilerfremde Elemente/Darstellung der 1/Fakt/Beweis/Aufgabe/Lösung
Erscheinungsbild
Wir betrachten das von und erzeugte Ideal . Da ein Hauptidealbereich ist, gibt es ein mit . Daher ist ein Teiler von und von . Die Teilerfremdheit impliziert, dass eine Einheit ist. Wegen gibt es eine Darstellung .
Multiplikation mit ergibt die Darstellung der .