thus arity (0 const i) = 0 by Th35; :: according to COMPUT_1:def 24 :: thesis: verum