For a cyclic quadrilateral, the sum of the products of the two pairs of opposite sides equals the product of the diagonals