theorem Th36: :: COMPUT_1:37

for i, n being Nat holds arity (n proj i) = n