Para empezar, el ejemplo clásico de test verdadero de primalidad: el Test de Lucas-Lehmer.