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