theorem Th28: :: MATRIXR1:28

for a being Real
for A being Matrix of REAL holds Indices (a * A) = Indices A