Другими словами, если
то
Доказательство.
действительно задается формулой
Лемма (III.8,С). Равенство вида
где
рассматривается как строка, а не столбец (контравариантный вектор), влечет за собой
где
определяется, как строка
Линейное преобразование
т. е.
перестановочно с операторами
Доказательство. (8.4) или
сразу следует из (8.3), так как
Кроме того,