for x0 being Real
for S being RealNormSpace
for f being PartFunc of REAL, the carrier of S st x0 in dom f & f is_continuous_in x0 holds
( ||.f.|| is_continuous_in x0 & - f is_continuous_in x0 )