RE: [math-fun] Re Mersenne Numbers