theorem Th10: :: ACKERMAN:10

for n being Nat holds Ackermann (2,n) = (2 * n) + 3