可写成质数的乘积。
唯一性.欧几里得引理：若质数formula_7，则不是 formula_8，就是formula_9。引理的证明：若formula_26 则证明完毕。若formula_27，那么两者的最大公约数为1。根据贝祖定理，存在formula_28 使得formula_29。于是formula_30。由于formula_7，上式右边两项都可以被"p"整除。所以formula_9。再用反证法：假设有些大于1的自然数可以以多于一种的方式写成多个质数的乘积，那么假设fo