fact: Hypothesis codeArityRIsCorrect1 : forall r : Relations L, codeArityR (cr r) = S (arityR L r).
imports: hydras.Ackermann(primRec cPair) Coq(Arith Lia) hydras.Ackermann(code folProp extEqualNat codeList) hydras(Compat815)