Euclid:Proposition/I/13