for x being FinSequence of REAL
for A being Matrix of REAL st len x = len A & len x > 0 holds
x * (- A) = - (x * A)