theorem Th26: :: CLOPBAN1:26

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