vitalis convergence theorem