theorem Th34: :: ACKERMAN:34

for k, n being Nat st 1 <= n & n <= k holds
k succ n in k -aryPrimRecFuncs