算术基本定理

存在性：每个大于 1 的整数都可以唯一地写成有限个素数的乘积

唯一性：分解方式是唯一的（除了换顺序）

1
2
3
4
5
30 = 2 * 3 * 5

84 = 2 * 2 * 3 * 7

100 = 2 * 2 * 5 * 5

算术基本定理保证每个合数 n 都有唯一的素数因子分解