theorem :: NUMBER05:28

139 satisfies_Sierpinski_problem_76a