La prueba de Lucas-Lehmer consiste en lo siguiente: sea "M" = 2− 1 el número de Mersenne a testear con "p" primo impar.