theorem Th32: :: PDIFF_9:32

for m, n being non zero Element of NAT
for f being PartFunc of (REAL m),(REAL n)
for x being Element of REAL m st f is_continuous_in x holds
|.f.| is_continuous_in x