在质数判定方面，费尔马小定理做了很大贡献，但由于它有漏洞，出现迈克尔克数，也是很头疼的事，今天我來了，
用尧驰小定理来弥补这个漏洞，所有质数在公式面前，原形毕露
尧驰小定理：
如果a=P，→(10^(P-1)-1)|(9P)=0，(a≥7，且a=91除外)
例1，a=7=P，10^(P-1)-1)|(9P)=10^(7-1)-1)/(9*7)=15873；
例2，a=37=P，10^(P-1)-1)|(9P)=10^(37-1)-1)|(9*37)=0。
例3，a=419=P，10^(P-1)-1)|(9P)=10^(419-1)-1)|(9*419)=0
例4，a=1009=P，10^(P-1)-1)|(9P)=10^(1009-1)-1)|(9*1009)=0。