Euclid:Proposition/X/60/Lemma