[math-fun] new Mesenne prime