theorem Lm89A: :: DUALSP04:37

for X being RealUnitarySpace
for f being linear-Functional of X st f is Lipschitzian holds
f " {0} is closed