theorem :: NORMSP_3:24

for X being RealNormSpace
for x being Point of X holds {x} is closed