let X be non empty set ; :: thesis: R_Normed_Algebra_of_BoundedFunctions X is Algebra
1. (R_Normed_Algebra_of_BoundedFunctions X) = 1_ (R_Algebra_of_BoundedFunctions X) ;
hence R_Normed_Algebra_of_BoundedFunctions X is Algebra by Th21; :: thesis: verum