Opposite angles in a cyclic quadrilateral add up to 180 degr