theorem :: FCONT_1:39

for f being PartFunc of REAL,REAL st ex r being Real st rng f = {r} holds
f is continuous