Strassen-algorithm/2x2/Exercise

Let -matrices and be given. The product is usually computed by the multiplication rule "row x column“; for this, we have to perform altogether multiplications in the field . We describe a procedure for the matrix multiplication, in which only multiplications (but more additions) are necessary. We set

Show that the coefficients of the product matrix

satisfy the equations