theorem Th33: :: ACKERMAN:33

for k, n being Nat holds k const n in k -aryPrimRecFuncs