Luodaan monimutkaisempi versio tästä lauseesta. Jos tämä yhdenmukaisuus on totta, niin n on luultavasti Lucas-alkuluku, eli se on joko alkuluku tai Lucas-alkuluku.
Tietenkin monimutkaisempi versio lauseesta on: "Jos tämä yhdenmukaisuus on totta, niin 'n' on Lucasin todennäköinen alkuluku, joten se on joko alkuluku tai se on Lucasin pseudalkuluku; lisätestejä tarvitaan sen määrittämiseksi, onko 'n' alkuluku".