λ
n
.
λ
f
.
λ
x
.
f
(
n
f
x
)