Every Planar Map Is Four Colorable