Дана трёхмерная алгебра Ли, у которой

. Доказывается, что L' абелева и что

- изоморфизм для x не лежащих в L'. Затем проводят такие рассуждения:
Выберем x вне L' так, чтобы ad x была приводима к диагональной матрице. {y,z} - базис L'. И тут говорят без объяснений, что следовательно собственными векторами и будут являться эти

и

. Почему? Или x специально выбирают так, чтобы y, z являлись собственными векторами? Хотя этого не сказано.