Divisor Count Function from Prime Decomposition/Proof 2

Proof
From Divisor Count Function of Power of Prime we have:
 * $\forall j \in \closedint 1 r: \map {\sigma_0} {p_j^{k_j} } = k_j + 1$

The result follows immediately from Divisor Count Function is Multiplicative‎.