Redirecting to Normalization property (lambda-calculus)