Finished theory on iterative methods for solving linear systems.