theorem Th35: :: C0SP1:35

for X being non empty set
for seq being sequence of (R_Normed_Algebra_of_BoundedFunctions X) st seq is Cauchy_sequence_by_Norm holds
seq is convergent