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