theorem :: LOPBAN_7:2

for X, Y being LinearTopSpace
for T being LinearOperator of X,Y
for S being Function of Y,X st T is bijective & T is open & S = T " holds
( S is LinearOperator of Y,X & S is onto & S is continuous )