theorem Th16: :: ACKERMAN:16

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