Euclid:Proposition/XIII/13/Lemma