rmula_5时，就需要使用除数为formula_6的带余除法，来讨论每一项具体的取值。
基本定理.带余除法限定了余数的范围，使得商唯一存在。整数与整数的带余除法中，余数的范围通常是formula_7这样的个元素的集合。被除数为实数的带余除法中，常常会使用介于0和除数||之间（大于等于0，严格小于||）的半开闭区间作为余数的范围；另一种常见的范围是大于等于-||/2，严格小于||/2。带余除法的基本定理说明：整数与整数的带余除法中，只要余数的范围是||个整数，并且任何两个数之差都不