(Por lo tanto, los vértices adyacentes tienen colores diferentes).