theorem Th21X: :: DUALSP04:15

for X being RealUnitarySpace
for F being linear-Functional of X st F = the carrier of X --> 0 holds
F is Lipschitzian