theorem Th5: :: MATRIX10:5

for n being Nat
for M being Matrix of n,REAL holds Indices M = Indices |:M:|