Para dissipar quaisquer dúvidas remanescentes sobre a prova Appel-Haken, uma prova mais simples usando as mesmas idéias e ainda contando com computadores foi publicada em 1997 por Robertson, Sanders, Seymour e Thomas.
pˌɐɾɐ dˌisipˈaɹ kwaɪʃkˌɛɹ dˈuvidɐʒ ʁˌemɐnɨsˈeɪŋtɨʃ sˈobɹɨ ɐ pɹˈɔvɐ ɐpˈɛlˈakeɪŋ, ˌumɐ pɹˈɔvɐ mˈaɪʃ sˈimplɨz ˌuzˈɐ̃ŋdw ɐʒ mˈeʒmɐz ˌidˈɛɪɐz i ˌɐˈiŋdɐ kˌuŋtˈɐ̃ŋdʊ kˈom kˌumputɐdˈoɾɨʃ foɪ pˌublikˈadɐ ˈeɪŋ mˈil nˈɔvɨsˈeɪŋtuʒˌi nuvˈeɪŋtɐisˈɛtɨ puɹ ʁˌubˈeɾətsuŋ, sɐ̃ŋdˈeɾəʃ, seɪmˈowɹ i (en)tˈɒməs(pt-pt).