theorem :: NUMBER06:32

{ i where i is Nat : (ArProg (1,2)) . i is triangular } is infinite