首先先说一下整除的概念

整除：设a , b是两个整数，且b！=0 .如果存在整数 c ,使得 a = b * c,则称a被b整除，或 b 整除 a ，记做 b|a 

           此时，又称 a 是 b 的倍数, b 是 a 的因子。

接下来就是带余除法的定义及其证明:

带余除法：设a , b是两个整数,且b != 0,则存在唯一的整数 q , r (0 r - b >= 0,则r - b=a - b * (q+1) 

    >= 0,所以此时r-b是T中得最小元素，这一推论与r是T中最小元素相悖）

    所以 a = b * q + r, ( 0