Euclid:Proposition/XIII/9