展开 大于1的任何整数至少有一个因数是质数