这个算法好像能在 $O(\log n)$ 的时间判断一个数是否是质数。但算法名忘了（悲