Def. Матрица из доказательства теоремы о единственности проекции вектора на подпространство называется матрицей Грама векторов
Замечание
В процессе доказательства теоремы было получено важное свойство: Определитель матрицы Грама равен нулю, тогда и только тогда, когда векторы линейно зависимы. Поясните самостоятельно.