Euclid:Proposition/X/17