theorem Th20: :: ACKERMAN:20

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