Every planar map is four colorable | Synapse