In order for formula_2 to be prime, it is necessary that formula_3 should be prime. Prime numbers of the form 2 - 1 are known as Mersenne primes, after the seventeenth-century monk Marin Mersenne, who studied number theory and perfect numbers.