Divisor Sum Function is Multiplicative

Theorem
The sigma function:
 * $\ds \sigma: \Z_{>0} \to \Z_{>0}: \map \sigma n = \sum_{d \mathop \divides n} d$

is multiplicative.