Out of curiosity, is there any reason you are avoiding calling this lemma by its traditional name, Euclid's lemma?
by Jaime Sevilla Molina Jul 28 2016
Out of curiosity, is there any reason you are avoiding calling this lemma by its traditional name, Euclid's lemma?
Comments
Patrick Stevens
Simply that I didn't know the name :) I'll edit it in.