theorem Th10: :: RSSPACE4:10

for X being non empty set
for Y being RealNormSpace holds 0. (R_VectorSpace_of_BoundedFunctions (X,Y)) = X --> (0. Y)