§ The chromatic polynomial (TODO)
I've been on a combinatorics binge lately, so I'm collecting cool facts about
the chromatic polynomial. We first define the chromatic function of a graph,
which is a generating function:
If we have a single vertex , then , since we can color
the single vertex with the colors we have.
§ Composition of chromatic funcions of smaller graphs
§ The chromatic function is a polynomial