Stav dette: Every planar map is four colorable