State And Prove Fermats Theorem