LLR: is strong-Fermat, Lucas and Frobenius PRP! (P = 5, Q = 2, D = 17)

To be completed...