Лекция 14. Положительно определённые симметрические билинейные и квадратичные функции. Евклидовы векторные пространства