theorem Th42: :: FCONT_1:42

for f being PartFunc of REAL,REAL st ( for x0 being Real st x0 in dom f holds
f . x0 = x0 ^2 ) holds
f | (dom f) is continuous