Implemented hasProperColoring()