Proof that the opposite angles in a cyclic quadrilateral sum to 180°