Euclid:Proposition/X/22/Lemma