theorem Th21: :: ACKERMAN:21

for m, n being Nat holds Ackermann (m,(n + 1)) <= Ackermann ((m + 1),n)