Euclid:Proposition/IX/11/Porism