Euclid:Proposition/I/25