theorem :: ACKERMAN:15

Ackermann (4,2) = (2 |^ 65536) - 3