theorem Th41: :: C0SP3:41

for S being non empty compact TopSpace
for T being NormedLinearTopSpace holds 0. (R_NormSpace_of_ContinuousFunctions (S,T)) = 0. (R_NormSpace_of_BoundedFunctions ( the carrier of S,T))