Proposition 7 (Local LYM). Assuming that:

  • AX(r)

  • 1rn

Then
|A|nr1|A|nr.