Beta reduction is invariant, indeed