Then a basis of formula_6 If formula_7 then the matrix of formula_8 is::formula_9,and so, formula_10.
* formula_7* formula_8 при formula_9* Если "Е" — сепарабельное расширение, то formula_10 — ненулевой функционал, если несепарабельно, то formula_11.