theorem Th7: :: LOPBAN_7:7

for X, Y being RealBanachSpace
for T being Lipschitzian LinearOperator of X,Y st T is bijective holds
T " is Lipschitzian LinearOperator of Y,X