Euclid:Proposition/I/4