n::::若formula_8.则该模反元素"不存在"。因为根据结果formula_9，在 mod n 之下，formula_10不会同余于formula_11，因此满足formula_6的formula_13不存在。
用欧拉定理.欧拉定理证明当formula_14为两个互质的正整数时，则有formula_15，其中formula_16为欧拉函数（小于等于formula_17且与formula_17互质的正整数个数）。上述结果可分解为formula_19，其中formul