verified by LLR (strong-Fermat, Lucas and Frobenius PRP)

To be completed...