Generu pli kompleksan version de ĉi tiu frazo Se ĉi tiu kongrueco estas vera, tiam'n'estas probabla primo de Lucas, do ĝi estas aŭ primo aŭ pseŭdo primo de Lucas.
Kompreneble, pli kompleksa versio de la frazo estas "Se ĉi tiu kongrueco estas vera, tiam 'n' estas probabla primo de Lucas, do ĝi estas aŭ primo aŭ ĝi estas pseŭdprimo de Lucas; pliaj testoj estas necesaj por determini ĉu 'n' estas primo aŭ ne".