Пусть j(Х, У) – билинейная форма на V. Т. е.

Где Аi j – матрица билинейной формы в базисе {Еi}.

, а это значит, что А(F) = PТА(E)Р.