Euclid:Proposition/III/4