Proposition 7 (Local LYM). Assuming that:

  • A⊂X(r)

  • 1≤r≤n

Then
|∂A|nr−1≥|A|nr.