Redirecting to Lax equivalence theorem