Se define el producto de matrices como una función formula_150 tal que formula_151 y donde formula_152 para toda formula_18, es decir formula_154.