theorem :: NUMBER08:83

for p being Prime holds
( not p <= 130 or not p satisfies_Sierpinski_problem_105 )