for r, a, b, c, d, e, f, g, h, i being Element of F_Real
for M being Matrix of 3,F_Real st M = <*<*a,b,c*>,<*d,e,f*>,<*g,h,i*>*> holds
r * M = <*<*(r * a),(r * b),(r * c)*>,<*(r * d),(r * e),(r * f)*>,<*(r * g),(r * h),(r * i)*>*>