分解素因子(唯一分解定理)