Proposition 3. Assuming that:

  • r is odd

  • AX(r) such that |xy| even for each distinct x,yA

Then |A|n.