整數唯一質因數分解每個n>1有prime factorization且prime multiset唯一，只允許因數次序差異。atlas-unique-prime-factorization · canonical_mko整數唯一質因數分解前置節點自然數質數自然數整除數學歸納法Euclidean演算法最大公因數與互質