The textual definition of everything is correct. There's just an error in the formatting of 2^p - 1. A Mersenne prime is a prime of the form 2^n - 1 for some n

The textual definition of everything is correct. There's just an error in the formatting of 2^p - 1. A Mersenne prime is a prime of the form 2^n - 1 for some n. The new biggest Mersenne prime is 2^(43,112,609) - 1. An interesting coincidence is that the power itself, 43,112,609, is also prime. The definition given by the improper formatting of numbers in the article: (2 * 43,112,609) - 1 = 86225217 = 3 * 13 * 2210903 and so is not prime.