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