分解定理