Un théorème de base sur les nombres de Mersenne indique que pour que Mn soit un Mersenne prime, l'exposant n lui-même doit être un nombre primordial.
Un Mersenne prime est un numéro Mersenne qui est un numéro de choix.