theorem :: NUMBER08:64

for n being Nat st n satisfies_Sierpinski_problem_86 & n <= 32 holds
n in {14,16,20,22,32}