consider X being non trivial ComplexBanachSpace;
take C_Normed_Algebra_of_BoundedLinearOperators X ; :: thesis: C_Normed_Algebra_of_BoundedLinearOperators X is Banach_Algebra-like
thus C_Normed_Algebra_of_BoundedLinearOperators X is Banach_Algebra-like ; :: thesis: verum