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