theorem Th11: :: CSSPACE4:11

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