theorem :: NUMBER05:36

for m being Nat st m satisfies_Sierpinski_problem_76b & m <= 62 holds
m in {20,32,51,53,62}