Theorem 2. Assuming that:

$A \subset X^{(r)}$ is $t$ -intersecting

Then for

n

sufficiently large, we have

| A | \leq | A_{0} | = (\binom{n - t}{r - t})