ON A THEOREM ABOUT VERTEX COLORINGS OF GRAPHS