Нехай A : X → → --> Y {\displaystyle A:X\to Y} — неперервний лінійний оператор, що відображає бієктивно банахів простір X на банахів простір Y, тоді відображення A − − --> 1 : Y → → --> X {\displaystyle A^{-1}:Y\to X} є також неперервним лінійним оператором.