for A being Matrix of REAL holds (- 1) * A = - A