Lax Equivalence Theorem