Just to advertise this addendum a bit more!

The Kempe-chain proof of the 5-colouring of any planar graph is easy and beautiful.