theorem :: NUMBER07:42

for n being Nat st n > 17 holds
n satisfies_Sierpinski_problem_48