euclids lemma