theorem Th1:
  1.(K,n) is Idempotent Involutory
by MATRIX_3:18;
