Pokazać, że \(\displaystyle{ a^m\equiv a^{m-\phi(m)} (mod m) ?}\)
Wiem, że \(\displaystyle{ \phi(m)=m-1}\) i upraszcza się to do postaci jak w małym Twierdzeniu Fermata, oczywiście przy założeniu pierwszości liczby m, bądź przynajmniej względnie pierwsza z a. Jak pokazać, że zachodzi bądź nie zachodzi taka równość dla pozostałych liczb.