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

Dieser Inhalt wird in Deutschland nicht angezeigt. Weitere Informationen