Circle Theorem 7