theorem Th5: :: CC0SP2:5

for X being non empty TopSpace
for a being Complex
for f being continuous Function of the carrier of X,COMPLEX holds a (#) f is continuous Function of the carrier of X,COMPLEX