theorem :: ACKERMAN:13

Ackermann (4,0) = 13