So now we can say definitively that as long as the products are well defined and the sums are well difined, so they all have to have the correct dimensions, that A times B plus C is equal to AB plus AC.