Euclid’s Lemma