Catalan's Mersenne conjecture

In mathematics, a double Mersenne number is a Mersenne number of the form $M_{M_{p}}=2^{2^{p}-1}-1$ where $p$ is prime.