theorem :: ACKERMAN:55

not dom2tuple AckermannFunction in PrimRec by Th54;