Divisor Sum Function is Multiplicative

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

is multiplicative.