Euclid:Proposition/XIII/2/Lemma