In fact Kempe introduced two fundamental ideas in his paper which were to provide the basis of the proof by Kenneth Appel and Wolfgang Haken in 1976.
Sa katunayan Kempe nagpasimula ng dalawang pangunahing ideya sa kanyang papel na kung saan ay nagbibigay ng batayan ng katibayan sa pamamagitan ng Joselito Appel at Wolfgang Haken sa 1976.