a与b模m同余

前提1：ab均为整数，m是正整数
前提2：(a-b)%m==0
结论：a b模m同余
证明：

a-b=d,d=m*n
a=b+d=b+mn
a%m=(b+mn)%m=b%m