A Proof of a Conjecture of Ohba

We prove a conjecture of Ohba which says that every graph $G$ on at most $2\chi (G)+1$ vertices satisfies ${\chi }_{\mathrm{\ell }}(G)=\chi (G)$.