fact: Hypothesis codeArityFIsCorrect1 : forall f : Functions L, codeArityF (cf f) = S (arityF L f).
imports: hydras.Ackermann(primRec cPair) Coq(Arith Lia) hydras.Ackermann(code folProp extEqualNat codeList) hydras(Compat815)