theorem :: NUMBER07:56

for n being Nat st n satisfies_Sierpinski_problem_87a & n <= 27 holds
n in {13,17,21,23,27}