Euclid:Proposition/XI/9