Opposite angles of a cyclic quad