Euler Phi Function of Integer/Corollary

Corollary to Euler Phi Function of 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 Integer: alternative formulation.