theorem Th30: :: PDIFF_9:30

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
for r being Real st f is_continuous_in x holds
r (#) f is_continuous_in x