reserve i,j for Nat;

theorem Th28:
  for a being Real, A being Matrix of REAL
   holds Indices (a*A) = Indices A
proof
  let a be Real, A be Matrix of REAL;
  len A = len (a*A) & width (a*A)=width A by Th27;
  hence thesis by MATRIX_4:55;
end;
