Euclid:Proposition/X/42/Lemma