Megjegyzés
A tétel tehát bármilyen pozitív k kitevő esetén működik, annak nem kell kimondottan \varphi(m)-nek lennie. Amennyiben ilyen pozitív k kitevő létezik, akkor abból már következik, hogy a relatív prím m-hez. Ezért ez az Euler-Fermat tétel megfordításánál valóban egy erősebb állítás.
♣