theorem Th43: :: ACKERMAN:43

for m, n being Nat holds AckermannFunction majorizes m const n