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