State/Fermats little theorem 1