Teorema de la completa reducibilidad de las representaciones (álgebra de Lie semisimple)