Поляризационное тождество
Вопрос - есть ли каноническая ссылка на поляризационное тождество для кватернионных векторных пространств?

Дано - линейное пространство над H, и в нем действительнозначная квадратичная форма, инвариантная относительно умножения на унитарные кватернионы. Утверждяается, что из нее можно произвести полуторалинейную форму, совпадающую с исходной при равных аргументах. Доказывается предъявлением явной формулы.

Я нашел только какую-то левую ссылку. Мне кажется, это какой-то общеизвестный факт, и надо бы сослаться на что-то более каноническое.