theorem Th24: :: LOPBAN14:23

for X, Y being RealNormSpace holds BoundedMultilinearOperatorsNorm (<*X*>,Y) = BoundedLinearOperatorsNorm ((product <*X*>),Y)