Euclid:Proposition/XII/17/Porism