File:MathFoundations127a The Cyclic quadrilateral quadrea theorem