Generar una versió més complexa d' aquesta frase Si aquesta congruència és certa, llavors'n'és un primer probable de Lucas, així que és primer o és un pseudoprim de Lucas.
Per descomptat, una versió més complexa de la frase és "Si aquesta congruència és veritable, llavors 'n' és un probable primer de Lucas, així que és primer o és un pseudoprim de Lucas; es necessiten més proves per determinar si 'n' és primer o no".