theorem Th6: :: ACKERMAN:6

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