theorem Th29: :: LOPBAN_1:29

for X, Y being RealNormSpace
for f being Lipschitzian LinearOperator of X,Y holds modetrans (f,X,Y) = f