Intersecting family of k-subsets of [n] (n ≥ 2k): |F| ≤ C(n−1, k−1), extremal = stars. Cornerstone of extremal set theory.