theorem Th39: :: ACKERMAN:39

for m being Nat holds dom2tuple (AckermannFunction m) = AckermannSequence . m