Proof Of Theorem 9.4 Class 9