Fix the subsection about vertex coloring reduction.
Fix the proof about termination.