rmula_10不会同余于formula_11，因此满足formula_6的formula_13不存在。
用欧拉定理.欧拉定理证明当formula_14为两个互质的正整数时，则有formula_15，其中formula_16为欧拉函数（小于等于formula_17且与formula_17互质的正整数个数）。上述结果可分解为formula_19，其中formula_20即为formula_21关于模formula_17之模反元素。
举例.求整数3对同余1