Mersenne prime definition