Text this: Every planar map is four colorable /