Euclid:Proposition/XII/16