theorem Th22: :: LOPBAN14:21

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