theorem Th37: :: PDIFF_9:37

for m being non zero Element of NAT
for f being PartFunc of (REAL m),REAL
for x0 being Element of REAL m holds
( f is_continuous_in x0 iff <>* f is_continuous_in x0 )