theorem Th44: :: ACKERMAN:44

for m, n being Nat holds m const n in majorizedBy AckermannFunction