Circle Theorem 16