分解定理

decomposition theorem