theorem :: MATRIXR1:33

for A being Matrix of REAL holds A + A = 2 * A