Divisor Sum of Non-Square Semiprime/Proof 2

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

By Sigma of Square-Free Integer:
 * $\displaystyle \sigma \left({n}\right) = \prod_{1 \mathop \le i \mathop \le r} p_i + 1$

Hence the result.