euclid lemma