Gerðu flóknari útgáfu af setningunni Ef samræmi er rétt, þá er'n'Lucas líkleg frumtal, svo það er annaðhvort frumtal eða það er Lucas pseudoprime.
Auðvitað er flóknari útgáfa setningarinnar: "Ef þessi samræmi er sönn, þá er 'n' líklegt frumtal Lucas, þannig að það er annaðhvort frumtal eða það er Lucas pseudoprime; frekari prófanir eru nauðsynlegar til að ákvarða hvort 'n' er frumtal. "