Euclid:Proposition/XI/17