theorem Th67:
  chi(X,C).c <> 1 iff chi(X,C).c = 0
by Th61;
