Euclid:Proposition/XII/7/Porism