Theorems in combinatorics