Before revision:  Then, it proceeds to discretization by an implicit scheme, and a recursive expression for convergence speed is derived.
After revision:  Then, it proceeds to an implicit scheme, and a recursive expression for convergence speed is derived.