pred

λn.λf.λx.n(λg.λh.h(g f))(λu.x)(λu.u) f(x) = x - 1 (- 1)