Euler Phi Function of Non-Square Semiprime/Proof 2

Proof
A semiprime with distinct prime factors is a square-free integer.

By Euler Phi Function of Square-Free Integer:
 * $\displaystyle \phi \left({n}\right) = \prod_{1 \mathop \le i \mathop \le r} p_i - 1$

Hence the result.