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

Then |A|n1r1.