LLR: strong-Fermat, Lucas and Frobenius PRP! (P = 5, Q = 3, D = 13)

To be completed...