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