Выдержка из книги
Эдвардс Р.N.
Функциональный анализ
С этой целью рассмотрим векторное подпространство L в Е, порожденное М и элементами х г Выберем какое-нибудь алгебраическое дополнение Р к М относительно L. Как линейные формы на М сужения г / у М линейно независимы.