Nula=\f.\x.x
Succ=\n.\f.\x.(f ((n f) x))
\f.\x.(f x)
(\n.\f.\x.(f ((n f) x)) \f.\x.(f x))