theorem Th21: :: MATRIX_6:20

for n being Nat
for R being Ring
for a being Element of R holds ((n,n) --> a) @ = (n,n) --> a