Vizing’s Theorem

This article is an overview on basic graph coloring theorems. In particular, we state and prove Brooks' theorem for graph vertex colorings and Vizing's theorem for graph edge colorings.