[math-fun] yet an other Mersenne prime?