theorem Th10: :: MATRIX_6:10

for n being Nat
for K being Field holds (1. (K,n)) @ = 1. (K,n)