Добрый вечер! Будьте добры, подскажите, как действовать в такой задаче:
Пусть 

 -- представление алгебры Ли 

. 

, 

 -- подпространство, порожденное векторами 

. Нужно доказать, что если 

 вполне приводимо, то 

 явлеятеся изоморфизмом (

 -- пространство 

-инвариантов в 

).
Заранее благодарен за помощь!