theorem :: NUMBER05:18

for x, y being Nat holds
( not x < 14 or not y < 35 or not x,y satisfy_Sierpinski_problem_35 )