取余证明

$(a+b)\%mod=(a\%mod+b)\%mod=(a\%mod+b\%mod)\%mod$

计算加法时，每相加一次执行一次$\%mod$
假设$a=a_1\ast mod+a_2$以及$b=b_1\ast mod+b_2$
$$(a+b)\%mod=(a_1\ast mod+a_2+b_1\ast mod+b_2)\%mod=(a_2+b_1\ast mod+b_2)\%mod=(a_2+b_2)\%mod$$

$(a\ast b)\%mod=(a\%mod\ast b)\%mod=(a\%mod\ast b\%mod)\%mod$

计算乘法时，每相乘一次执行一次$\%mod$
假设$a=a_1\ast mod+a_2$以及$b=b_1\ast mod+b_2$
$$(a\ast b)=(a_1\ast mod+a_2)\ast (b_1\ast mod+b_2)=(a_1\ast b_1\ast mo{d}^2+a_1\ast b_2\ast mod+a_2\ast b_1\ast mod+a_2\ast b_2)$$
$$(a\ast b)\%mod=(a_1\ast b_1\ast mo{d}^2+a_1\ast b_2\ast mod+a_2\ast b_1\ast mod+a_2\ast b_2)\%mod=(a_2\ast (b_1\ast m+b_2))\%mod=(a_2\ast b_2)\%mod$$

$(a-b)\%mod=(((a-b)\%mod)+mod)\%mod$