theorem :: NUMBER06:34

for i being Nat holds not (ArProg (2,3)) . i is triangular