(18) 也称为嵌套版本。
      1956 年，美国数学家 Peter Lax 基于公式 (18) 证明了 Lax 等价定理。等价定理大致说，对于微 分方程的数值求解，相容性 + 稳定性 ⇐⇒ 收敛性。在数值分析中，它是数值偏微分方程的根本定理。
      2005 年，Lax 荣获 Abel 奖，在挪威科学院对其成就的介绍中特别提到了这一工作： 
      近代数值分析中的另一个基石是“Lax 等价定理”。受 Richtmyer 的启发, Lax 确立了这个 定理，它给出了确保数值算法可以有效逼近微分方程解的条件。这一结果照亮了整个领域。