Generer en mere kompleks version af denne sætning Hvis denne kongruens er sandt, så er'n'en Lucas sandsynlig primal, så det er enten primal eller det er en Lucas pseudoprimal.
Selvfølgelig er en mere kompleks version af sætningen "Hvis denne kongruens er sand, så er 'n' en Lucas sandsynlig prim, så det er enten prim eller det er en Lucas pseudoprime; yderligere tests er nødvendige for at afgøre, om 'n' er prim eller ej".