theorem
  chi(C,C).c = 1 by Th61;
