概念導讀存在、Euclid引理與唯一質因數正整數n>1存在唯一質因數多重集合；360=2³·3²·5，負號與units另列。整數唯一質因數分解derivation-mko-unique-prime-factorization-01