Verified Lucas and Fermat PRP by pfgw.

To be completed...