Circle Theorem 8 & 9