感觉可以用唯一分解定理