theorem Th6: :: INTEGR26:6

for a, b, x being Real
for f being PartFunc of REAL,REAL
for I being Interval st inf I <= a & b <= sup I & I c= dom f & f | I is continuous & x in ].a,b.[ holds
f is_continuous_in x