theorem :: NUMBER05:30

for n being Nat st n satisfies_Sierpinski_problem_76a & n <= 181 holds
n in {113,114,115,116,117,139,181}