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

To be completed...