theorem Th7: :: JORDAN5A:7

for f being continuous Function of R^1,R^1
for g being PartFunc of REAL,REAL st f = g holds
g is continuous