Lax Equivalence Theorem

A finite-difference method for a well-posed initial-boundary value problem converges if and only if it is both:

1. Stable (as defined above), and
2. Consistent: the exact solution of the ODE satisfies the numerical scheme in the limit $\Delta t\to 0$.