External angles in a cyclic quadrilateral