Euclid:Proposition/XI/23/Lemma