第四章数论
（4.7）
\[\sum_{m \backslash n}a_m=\sum_{m \backslash n}a_{n/m}，整数n>0
\]
证明:
一个数字的因数总是两两成对出现的，出了完全平方数会有个一对两个一样的因数。
（4.8）
\[\]
（4.9）
\[\sum_{m \backslash n} \sum_{k \backslash m} a_{k,m} =\sum_{k \backslash n} \sum_{l \backslash (n/k)} a_{k,kl}
\]
证明: