theorem :: MATRIX_4:36

for K being Ring
for M being Matrix of K st - M = 0. (K,(len M),(width M)) holds
M = 0. (K,(len M),(width M))