Esta última condición es explotada para producir la popular, eficiente y más efectiva prueba de BPSW (Baillie-PSW_primality_test) que no tiene pseudoprimos conocidos, y la más pequeña se sabe que es mayor que 2  64 .