if diagonals of a cyclic quadrilateral are diameters of the circle