Euclid:Proposition/XIII/17/Porism