Выдержка из книги
Ильин В.А.
Линейная алгебра Изд.6
Если Д ( х, у) представляет собой билинейную форму, полярную положительно определенной квадратичной форме Д ( х, х), то Л ( х, у) удовлетворяет всем аксиомам скалярного произведения векторов в евклидовом пространстве.