theorem Th1: :: CC0SP2:1

for X being non empty TopSpace
for y being Complex
for f being Function of the carrier of X,COMPLEX st f = X --> y holds
f is continuous