Om X är ett Banachrum och K en kompakt operator i X så har den homogena ekvationen 0 = x + Kx högst ändligt många linjärt oberoende lösningar, medan den inhomogena ekvationen y = x + Kx är lösbar om och endast om y är