Μπορεί κάποιος να αποδείξει ή να διαψεύσει την ακόλουθη εικασία:
Έστω
. Έστω
όπου
είναι ένας περιττός πρώτος αριθμός . Έστω
με
, τότε
είναι πρώτος αριθμός αν και μόνο αν: 
Εκθέτες
του
για τους οποίους ο
είναι πρώτος αριθμός: A057172 .Υλοποίηση του τεστ σε PARI/GP: SageMathCell .
