Euclid:Proposition/III/7