Euclid:Proposition/X/10/Lemma