theorem :: MATRIX_6:21

for n being Nat
for R being Ring
for a being Element of R holds (n,n) --> a is symmetric by Th21;