寺尾の分解定理