theorem Th3: :: CKSPACE1:3

for m being non zero Element of NAT
for X being non empty Subset of (REAL m)
for f being PartFunc of (REAL m),REAL st X is open & X c= dom f & f is_continuously_differentiable_up_to_order 1,X holds
f is_continuous_on X