Brooks’ Theorem via the Alon–Tarsi Theorem

We give a proof of Brooks’ Theorem and its choosability extension based on the Alon–Tarsi Theorem; this also shows that Brooks’ Theorem remains valid in a more general game coloring setting.