Theorem 20 (Erdos-Ko-Rado Theorem). Assuming that:

Then |A|≤n−1r−1.