言うまでもないですが、
オイラーの定理 a^φ(n)≡1 (mod n) と、a^x≡1 (mod n) の2つの条件からは、x が φ(n) の約数だとも φ(n) が x の約数だとも言えないことに注意しましょう。