P
Initializing...
Lemma 2.8 — |A_1 ∩ ⋯ ∩ A_p| ≥ Σ|A_i| − (p − 1)|A_1 ∪ ⋯ ∪ A_p| · Prove2Me