theorem
  |.<k>.| = 1 by Th24;
