Lemma 10. Assuming that:

  • AX(r)

  • 1i<jn

Then |Cij(A)||A|.