Euclid:Proposition/X/33/Lemma