By PFGW, Fermat and Lucas PRP.

To be completed...