定理如果一个数 x在2~√x都没有能整除它的数那么x就是质数。证明对于一个在2~x - 1的数 t如果它能整除 x那么一定有一个数d x / t也能整除 x。又因为d * t x√x * √x x又因为d和t一定有d t 或 t d所以一定有 t √xd √x或d √xt √x。