Euclid:Proposition/IV/16/Corollary