Proof of (1 + ... + N) = N*(N + 1)/2

- sum.mod