theorem Th31: :: COMPUT_1:32
for m, n being Element of NAT holds arity (n const m) = n