theorem Th10: :: LOPBAN14:9

for X, Y being RealLinearSpace holds MultilinearOperators (<*X*>,Y) = LinearOperators ((product <*X*>),Y)