Textmeddelande: Every planar map is four colorable