theorem Th6: :: C0SP2:6

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