theorem Th18: :: CLOPBAN1:18

for X, Y being ComplexLinearSpace holds the carrier of X --> (0. Y) is LinearOperator of X,Y