Proposition 3. Assuming that:

  • r is odd

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

Then |A|n.