既然 p | n 且 p < i，这与"n 不含有小于 i 的因子"矛盾！，其中 p 和 q 都是大于 1 且小于 i 的整数。由于程序从 2 开始遍历，在到达 i 之前，因此假设不成立，i 不可能是合数，只能是质数。这会把 n 中所有的 p 因子全部除尽。假设 i 是合数，则 i 可以分解为。：p < i，且 p 是 n 的因子。所以到第 i 次循环时，n 中。：如果在第 i 次循环时。，所以