对于miller-rabin 的判断是把1个奇数写成d×2^n，其中d为奇数, 进行费马测试 a^d mod p，为1，不为1，再进行二次探测，根据a^n a^(2n) a^(4n)…a^(p-1) mod p看是否为-1，如果为-1，则可能为素数，否则肯定是合数。
能否反过来判断？
对于一个奇数n，a^((n-1)/2) mod n，看是否为为-1，如果为-1，可能是素数，否则肯定不是素数，如果为1，则判断(n-1)/2是否为奇数，如果为奇数，可能是素数，不为1，肯定不是素数，算法如下（n为奇数）：
1 i=(n-1)/2
2 m= a^i mod n
3 if m =-1 n可能是素数 exit
if m=1 且 i为奇数 n可能是素数 exit
if m<> -1 or m<>1 n肯定不是素数 exit
4 i=i//2 重复 1
