theorem
  1.(K,n) is Self_Reversible
by MATRIX_6:8;
