Euclid:Proposition/I/31