thus arity (2 proj i) = 2 by Th37; :: according to COMPUT_1:def 21 :: thesis: verum