Euclid:Proposition/IX/19