证明每个大于1的正整数可以写成素数乘积