opp. interior angles of cyclic quadrilateral