theorem Th12: :: NCFCONT2:12

for X being set
for z being Complex
for RNS being RealNormSpace
for CNS being ComplexNormSpace
for f being PartFunc of RNS,CNS st f is_uniformly_continuous_on X holds
z (#) f is_uniformly_continuous_on X