В частности,
ТЕОРЕМА 1.3. Если существует произведете АВ матриц А и В, то существует произведение
Доказательство. Предположим, что
. Тогда если
то
. Кроме того,
. Следовательно, существует произведение
Таким образом, матрицы
являются
-матрицами. Проверим, что
элементы
этих матриц равны. В самом деле,
с другой стороны,
Следовательно,
для любых индексов i и k, т. е.