Theorem 1 (Katona’s $t$-intersecting Theorem). Assuming that:

• $A\subset P(X)$ is $t$-intersecting

• $n+t$ even (to make the proof simpler – same proof works for odd)