theorem Th24: :: ACKERMAN:24

for a, b, n being Nat st a <= b holds
Ackermann (a,n) <= Ackermann (b,n)