theorem :: NUMBER05:29
181 satisfies_Sierpinski_problem_76a