Euclid:Proposition/VII/12