The Lax equivalence theorem states that an algorithm converges if it is consistent and stable (in this sense).
Теорема эквивалентности Лакса утверждает, что алгоритм сходится, если он согласован и устойчив (в этом смысле).