theorem Th31: :: COMPUT_1:32

for m, n being Element of NAT holds arity (n const m) = n