Euclid:Proposition/V/17