[math-fun] 2^20996011 -1 is prime