theorem Th13: :: CC0SP2:13

for X being non empty TopSpace holds 0. (C_Algebra_of_ContinuousFunctions X) = X --> 0c