Euclid:Proposition/IV/7