Euler Phi Function of Integer/Corollary

Corollary to Euler Phi Function of an Integer
If $p$ divides $n$, where $p$ is prime, then $p - 1$ divides $\phi \left({n}\right)$.

Proof
Follows directly from the Euler Phi Function of an Integer: alternative formulation.