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