Talk:Euclid's lemma

From Wikipedia, the free encyclopedia

I'd be interested in seeing Euclids proof of proposition 30 on there. It seems onky fitting

Is bezout's identity so obvious or well-known that it can be used in the proof of Euclid's lemma without further ado?