theorem Th2: :: LOPBAN15:2

for X being finite-dimensional RealNormSpace
for Y being RealNormSpace
for L being LinearOperator of X,Y st dim X <> 0 holds
L is Lipschitzian