Angles in a cyclic quadrilateral