Euclid:Proposition/XIII/18/Lemma