大于2合数素分解存在性和唯一性（假设最小数法）

无 素分解的简单应用一（求解佩儿方程）

应用二（利用任意数至少有一个素因子证明素数有无穷多个）（素因子存在性）