succ=\n.\f.\x.f((nf)x)

External Content not shown. Further Information.