theorem :: C0SP1:37

for X being non empty set holds R_Normed_Algebra_of_BoundedFunctions X is Banach_Algebra by Th22;