Divisor Sum of Non-Square Semiprime/Proof 2

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

By Sigma Function of Square-Free Integer:
 * $\ds \map \sigma n = \prod_{1 \mathop \le i \mathop \le r} p_i + 1$

Hence the result.