The Four Color Theorem (4CT) is the theorem stating that no more than four colors are required to color each part of a plane divided into finite parts so that no two adjacent parts have the same color. It was proven in 1976 by Kenneth Appel and Wolfgang Haken, but in this paper, we will prove 4CT simply without computer resources.
Authors: Dmitri Martila
Comments: 4 Pages.
It is amazing to see, how the problems find their solutions. Even such extremely long as the 1200 pages of the ABC-hypothesis proof of the ``Japan Perelman'', which is needed to be consumed by the most brilliant men to come. And like the first PCs were huge but became compact, the large proofs can turn into very compact ones. \copyright