Une preuve assistée par ordinateur, produite en 1976 par Kenneth Appel et Wolfgang Haken, fait un usage fondamental de la notion de "déchargement" développée par Heesch, qui consistait à vérifier les propriétés de 1,936 configurations par ordinateur, et qui n'était pas entièrement acceptée à l'époque en raison de sa complexité.
Une preuve produite en 1976 par Kenneth Appel et Wolfgang Haken, qui consistait à vérifier les propriétés de 1 936 configurations par ordinateur, n'a pas été entièrement acceptée à ce moment en raison de sa complexité.