theorem :: PRALG_1:8

for k being Nat holds arity (TrivialOp k) = k