Es cierto que $\phi(p) = (p-1)$ sólo si p es un primo. Yo también había probado (no estoy seguro de si esto es un hecho trivial o no) que $\phi(pq) = (p-1)(q-1)$ sólo si p y q son distintos de los números primos.
Sin embargo, estoy teniendo dificultad para generalizar el resultado. Ciertamente parece cierto que si $\phi(p_1\cdot p_2\cdots p_n) = (p_1 - 1)(p_2 - 1)\cdots (p_n-1)$, a continuación, cada una de las $p_i$ son distintos de los números primos.
Lo que yo había hecho en la inicial de prueba para el caso n = 2 fue el uso de la fórmula de $\phi(pq) = \phi(p)\phi(q)\frac{d}{\phi(d)}$ donde d = mcd(p,q) y el hecho de que si $a \mid b$ $\phi(a) \mid \phi(b)$ que $d \mid 1$. El resultado de la siguiente manera muy fácilmente después de mostrar que p y q son coprime. Sin embargo, esta prueba no parece ser extensible al caso general. Espero que alguien me pueda ayudar con esto.