Added proof of Gauss-Seidel convergence rate.