Theorem of Cyclic Quadrilateral