束って分解定理とかある?