用唯一分解定理视角看待模运算