theorem :: MATRIX_4:3

for K being Field
for M being Matrix of K holds M - M = 0. (K,(len M),(width M)) by Th2;