theorem Th34: :: PDIFF_9:34

for m, n being non zero Element of NAT
for Z being set
for r being Real
for f, g being PartFunc of (REAL m),(REAL n) st f is_continuous_on Z holds
r (#) f is_continuous_on Z