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