Euclid:Proposition/X/80