theorem Th26: :: LOPBAN14:25

for X, Y being RealNormSpace holds R_NormSpace_of_BoundedMultilinearOperators (<*X*>,Y) = R_NormSpace_of_BoundedLinearOperators ((product <*X*>),Y)