Talk:Euclid's Lemma for Euclidean Domains

Common Divisor Divides Integer Combination does not imply that we can write $a \times x + b \times y = 1$ for some $x, y \in D$. The required result is Bézout's Lemma. It does hold in Euclidean domains, but this requires some proof.

--Ixionid 00:21, 5 February 2012 (EST)


 * Finally, 7 years on, we have the result Bézout's Lemma on Euclidean Domain‎. Job done. --prime mover (talk) 03:27, 22 April 2019 (EDT)