theorem :: C0SP3:67

for X being non empty TopSpace
for T being NormedLinearTopSpace holds R_Normed_Space_of_C_0_Functions (X,T) is RealNormSpace-like by Th66;