theorem :: RSSPACE4:4

for vseq being sequence of linfty_Space st vseq is Cauchy_sequence_by_Norm holds
vseq is convergent