Euclid:Proposition/X/54/Lemma