Euclid:Proposition/XII/4/Lemma