Выдержка из книги
Эдвардс Р.N.
Функциональный анализ
Пусть 2) ( Q) плотно в векторном подпространстве V0 пространства V, причем VQ отделимо в индуцированной структуре. Тогда для каждой заданной функции g V система (5.13.10) имеет не более одного решения.