Выдержка из книги
Ректорис К.N.
Вариационые методы в математической физике и технике
Определитель этой системы является определителем Грама линейно независимых ( в пространстве L2 ( G)) функций Av следовательно, он отличен от нуля, система (34.82) решается однозначно.