strong convergence theorem