theorem :: NFCONT_1:47

for S, T being RealNormSpace
for f being PartFunc of S,T st ex r being Point of T st rng f = {r} holds
f is_continuous_on dom f