theorem Th8: :: CC0SP2:8

for X being non empty TopSpace
for f being continuous Function of the carrier of X,COMPLEX holds
( |.f.| is Function of the carrier of X,REAL & |.f.| is continuous )