Circle theorem: opposite angles in a cyclic quadrilateral