theorem :: MATRIXR1:18

for K being Field
for a being Element of K
for A being Matrix of K holds Indices (a * A) = Indices A