Exterior angle equals interior opposite angle of a cyclic quadrilateral.