21.1. Tétel
Bézout-lemma euklidészi gyűrűkben
Legyen R euklidészi gyű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.
♣