theorem Th7: :: C0SP2:7

for X being non empty TopSpace holds 1_ (R_Algebra_of_ContinuousFunctions X) = X --> 1