theorem :: C0SP3:58

for X being non empty TopSpace
for T being NormedLinearTopSpace holds C_0_Functions (X,T) is linearly-closed by Th56, Th57;