Exterior angle of cyclic quadrilateral