theorem :: NFCONT_3:31

for X being set
for S being RealNormSpace
for f being PartFunc of REAL, the carrier of S st f | X is Lipschitzian holds
( - (f | X) is Lipschitzian & (- f) | X is Lipschitzian & ||.f.|| | X is Lipschitzian )