theorem :: TOPREALA:17

for r being Real
for f being PartFunc of REAL,REAL st f = REAL --> r holds
f | REAL is continuous