Towards a brief proof of the Four-Color Theorem without using a computer: theorems to be used for proving the Four-Color Theorem

摘要

In order to prove the Four-Color Theorem (FCT) without using a computer, some basic definitions and theorems which will be useful for proving the FCT are presented, and a bird's-eye view of a brief proof is described and discussed. A complete proof will appear in the near future.