Euclid:Proposition/VII/3