1: $ being arbitrary, proves the convergence of $