theorem Th9: :: LOPBAN14:8

for X, Y being RealLinearSpace
for f being object holds
( f is LinearOperator of (product <*X*>),Y iff f is MultilinearOperator of <*X*>,Y )