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