theorem Th31: :: COMPUT_1:32

for m, n being Nat holds arity (n const m) = n