Fixed broken Gauss-Seidel proof. Added a figure on Jacobi damping.