theorem FXZER: :: LOPBAN11:6

for X being RealNormSpace-Sequence
for Y being RealNormSpace
for f being MultilinearOperator of X,Y holds f . (0. (product X)) = 0. Y