Definition:Proper Vertex Coloring