theorem Th6: :: CLOPBAN2:6

for X being ComplexNormSpace
for f being Lipschitzian LinearOperator of X,X holds
( f * (id the carrier of X) = f & (id the carrier of X) * f = f )