Interior angles of cyclic quadrilateral