thus arity (3 succ i) = 3 by Th38; :: according to COMPUT_1:def 27 :: thesis: verum