theorem :: NUMBER06:30

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