Fermat S Theorem