Generare una versione più complessa di questa frase Se questa congruenza è vera, allora'n'è un primo probabile di Lucas, quindi è primo o è un pseudoprimo di Lucas.
Naturalmente, una versione più complessa della frase è "Se questa congruenza è vera, allora 'n' è un primo probabile di Lucas, quindi è primo o è un pseudoprimo di Lucas; sono necessari ulteriori test per determinare se 'n' è primo o meno".