We close this section with a version of the so-called Fredholm alternative. It is one of the most important theorems in applied mathematics. It gives a definite criterion for existence of solutions of linear operator equations. Roughly speaking, it replaces the question of uniqueness of solution of a nonhomogeneous equation by the question of existence of a nontrivial solution of the corresponding homogeneous equation.