theorem :: CLOPBAN1:27

for X, Y being ComplexNormSpace
for g being LinearOperator of X,Y holds
( g is Lipschitzian iff PreNorms g is bounded_above )