Theorem index
Theorem 8

Circle Theorem 7
Opposite angles of cyclic quadrilateral are supplementry