1: $

2: This together with Theorem \ref{convergence.thm} implies that

3: $