Коэффициенты хроматического многочлена составляют знакопеременную последовательность.
|proof=
Индукция по количеству ребервершин.<br/>
'''База индукции:'''<br/>
Теорема верна для графа <tex>G</tex> из одной вершины, потому что <tex>P(G,x)=x</tex>.<br/>