Corollary 4.3. Assuming that:

  • E⊂ℤn

  • A a family of subsets of [n] such that every i∈[n] is contained at least r sets A∈A

Then
|E|≤∏A∈A|PAE|1r.