Euler Phi Function of Non-Square Semiprime

Theorem
Let $n \in \Z_{>0}$ be a semiprime with distinct prime factors $p$ and $q$.

Let $\map \phi n$ denote the Euler $\phi$ function.

Then:
 * $\map \phi n = \paren {p - 1} \paren {q - 1}$