О билинейной сложности умножения $3\times 2$ матрицы на $2\times 3$ матрицу

Доказано, что над любым коммутативным кольцом билинейная сложность операции умножения $3\times 2$ матрицы на $2\times3$ матрицу равна $15$. Иными словами, известная схема Хопкрофта – Керра для умножения таких матриц является оптимальной, при любой области скаляров.