Stiebitz, Michael Brooks' Theorem: Graph Coloring and Critical Graphs