Teorema de descomposición de álgebras de Lie semisimples (suma directa de ideales simples)