theorem LM6B: :: DUALSP04:20

for X being RealUnitarySpace
for f being linear-Functional of X
for g being linear-Functional of (RUSp2RNSp X) st f = g holds
( f is Lipschitzian iff g is Lipschitzian )