theorem :: NUMBER07:71

for n being Nat st n satisfies_Sierpinski_problem_89 & n <= 201 holds
n in {33,85,93,141,201}