theorem Th11: :: ACKERMAN:11

for n being Nat holds Ackermann (3,n) = (2 |^ (n + 3)) - 3