In Exercise 17 of Section 7.3 a techniquewas outlined to prove that the Gauss-Seidel method converges when A is a positive definite matrix. Extend this method of proof to show that in this case there is also convergence for the SOR method with 0 < ω < 2.