On prouve un critère pour que $2^q-1$ soit premier, on en déduit un test algorithmique simple et rapide. C'est par cette méthode qu'on a construit les plus grands nombres premiers connus à ce jour !
Cette version du développement parvient à présenter le test de Lucas-Lehmer en esquivant un passage qui n'est pas utile du tout.