How to prove Tait's theorem about planar cubic bridgeless graph being 3-edge-colorable?
The two problems of three-edge-coloring and four-face-coloring for the same map are equivalent.
A proof of this equivalency can be round here: http://www.mathpuzzle.com/4Dec2001.htm. Search for "material added 19 November 2001" within the page.
Since the four color problem has been already proved, also the three edge coloring is true.