theorem Th23: :: LOPBAN14:22

for X, Y being RealNormSpace holds BoundedMultilinearOperators (<*X*>,Y) = BoundedLinearOperators ((product <*X*>),Y)