theorem Th3: :: CLOPBAN2:3

for X being ComplexNormSpace holds id the carrier of X is Lipschitzian LinearOperator of X,X