其实可将这个命题加强化
将N/2替换为根号N
结论应该还是正确的
这是由于 如果不能被 根号N中的任意素数整除
那么原数必有一个 大于根号N的因子
如果不是素数 则 可得 N=p1*p2.*pr>N
矛盾
由于 根号N在 N>4时 小于 N/2 所以易知原命题也成立