The Standardization Theorem for λ-Calculus