theorem LPB2Th6: :: NDIFF_8:6

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