Theorem 9.7 Class 9 Circles Proof