ホールの定理
↑ Equivalence of seven major theorems in combinatorics