Sean formula_165 matrices con entradas en formula_15, donde formula_15 es un campo, entonces se cumplen las siguientes propiedades para el producto de matrices (considerando que los productos existan)