Xerar unha versión máis complexa desta frase Se esta congruencia é verdadeira, entón'n'é un primo probable de Lucas, polo que é primo ou é un pseudoprimo de Lucas.
Por suposto, unha versión máis complexa da frase é "Se esta congruencia é verdadeira, entón 'n' é un primo probable de Lucas, polo que é primo ou é un pseudoprimo de Lucas; son necesarias máis probas para determinar se 'n' é primo ou non".