theorem :: NUMBER08:82

131 satisfies_Sierpinski_problem_105