theorem
  chi(X,C) is total;
