Lax–Richtmyer theorem