Circle Theorem 17