theorem :: MATRIXR1:24

for K being Field
for A, B being Matrix of K holds Indices (A + B) = Indices A