半単純リー代数の分類定理の核心