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