ただし、φ はオイラーのφ関数で、すなわち φ("n")とは1, …, "n" -1の中で "n" と互いに素なものの個数である。