theorem :: MATRIXR2:21

for A, B, C being Matrix of REAL st len A = len B & width A = width B & width C = len A & len C > 0 & len A > 0 holds
C * (A - B) = (C * A) - (C * B) by Th20;