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