theorem Th33: :: C0SP2:33

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