Verified Fermat and Lucas PRP by pfgw.

To be completed...