引理1．剩余系定理2若a,b,c为任意3个整数,m为正整数,且（m,c)=1,则当ac≡bc(mod m）时,有a≡b(mod m)证明：ac≡bc(mod m）可得ac–bc≡0(mod m）可得（a-b)c≡0(mod m）因为（m,c)=1即m,c互质,c可以约去,a–b≡0(mod...