Hauptidealbereich/Zwei teilerfremde Elemente/Darstellung der 1/Fakt/Beweis

Beweis

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 .