Se define el producto de matrices como una función formula_26 tal que formula_27 y donde formula_28 para toda formula_29, es decir formula_30.