Euclid:Proposition/X/72/Summary