Hauptidealbereich/Zwei teilerfremde Elemente/Darstellung der 1/Fakt

Lemma von Bezout (Hauptidealbereich)

Es sei ein Hauptidealbereich und seien teilerfremde Elemente.

Dann kann man die als Linearkombination von und darstellen, d.h. es gibt Elemente mit .