theorem Th15: :: CC0SP1:15

for X being non empty set holds C_Normed_Algebra_of_BoundedFunctions X is ComplexAlgebra