theorem :: MATRIX_8:31

for n being Nat
for K being Field holds 1. (K,n) is Self_Reversible by MATRIX_6:8;