theorem :: NUMBER05:16

{ [x,y] where x, y is Nat : x,y satisfy_Sierpinski_problem_35 } is infinite