б) Последнее утверждение доказывается формально. Пусть - -линейное отображение с . Существует единственное -линейное отображение , которое на элементах базиса e_s определено формулой

Для него , ибо это так на элементах базиса L. Наконец, является гомоморфизмом алгебр. Действительно,

и нетрудно проверить, что можно привести к тому же виду, пользуясь соотношениями

при .

Это завершает доказательство.

-1-2-3-4-5-6-7-8-