theorem Th11: :: MATRIX_6:10

for n being Nat
for R being Ring holds (1. (R,n)) @ = 1. (R,n)