File:MathFoundations127b The Cyclic quadrilateral quadrea theorem (cont.)