Divisor Sum of Non-Square Semiprime/Proof 2

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

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

Hence the result.