Equivalence of big-step and small-step reduction