theorem Th54: :: ACKERMAN:54

not dom2tuple AckermannFunction is primitive-recursive