theorem :: NUMBER06:31

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