  This paper presents a short and simple proof of the Four-Color Theorem that
can be utterly checkable by human mathematicians, without computer assistance.
The new key idea that has allowed it and the global structure of the proof are
presented in the Introduction.
