Divisor Count Function from Prime Decomposition/Proof 2

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

The result follows immediately from Tau Function is Multiplicative‎.