Circle theorem 4 - angles in a cyclic quadrilateral