theorem Th21: :: LOPBAN14:20

for X, Y being RealNormSpace
for f being object holds
( f is Lipschitzian LinearOperator of (product <*X*>),Y iff f is Lipschitzian MultilinearOperator of <*X*>,Y )