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