米勒-拉宾质数判断证明

学习自 wiki 米勒-拉宾素性检验 同余 欧几里得引理 同余式 a≡b (mod m) 两个整数a，b，若它们除以正整数 m所得的余数相等，则称a， b对于模m同余 欧几里得引理 如果a|bc ，gcd(a,b)=1 那么 a|c 如果一个正整数整除另外两个正整数的乘积，第一个整数与第二个整数互质，那么第一个整数整除第三个整数。 命题30的表述 如果 p|bc 那么 p|b 或者 p|c 如果一

>>阅读原文<<