Cases of the Four Color Map Theorem
Kempe chains are explained in textbooks on graph theory. They appear in the five color theorem, an easy result which is proved using them.

The four color theorem is unfortunately rather complicated. You can try reading a summary of the Robertson et al. proof (including pointers to the computer code they use), Steinberger's simplified proof or Gonthier's account of his group's computer-checked proof.