theorem Th37: :: ACKERMAN:37

dom2tuple (AckermannFunction 0) = 1 succ 1