Euclid:Proposition/X/111/Summary