theorem Th7: :: CC0SP2:7

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