半単純リー代数の分解定理(単純イデアルの直和)