Fixed algebra and fermat examples under expk
Revise proofs for theorems in Fermat number theory.
Provide scripts for Fermat's Two Squares Theorem.