theorem Th63: :: C0SP3:63

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