Euclid:Proposition/XII/2/Lemma