Cookie Policy Terms and Conditions >
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?