Euclid:Proposition/X/17/Lemma