theorem Th22: :: ACKERMAN:22

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