Define the concept of beta reduction in lambda calculus. Using the expression ((\x. x + 1) 3), perform a step-by-step theoretical reduction to reach the normal form. Explain the substitution rules applied during each step.