20.11. Tétel
Bézout-lemma
Legyen R főideálgyűrű, továbbá legyenek a és b az R tetszőleges elemei. Ekkor az a és b elemek kitüntetett közös osztója kifejezhető a kettejük lineáris kombinációjaként
ua+vb
alakban az R alkalmasan választott u és v elemeinek a segítségével.
♣