O teorema das quatro cores foi provado em 1976 por Kenneth Appel e Wolfgang Haken após muitas provas e contra-exemplos falsos (ao contrário do teorema das cinco cores, provado na década de 1800, que afirma que cinco cores são suficientes para colorir um mapa).
ʊ tˌiuɾˈemɐ dɐʃ kwˈatɹʊ kˈoɾɨʃ foɪ pɹˌuvˈadw ˈeɪŋ mˈil nˈɔvɨsˈeɪŋtuʒˌi sɨtˈeɪŋtɐisˈeɪʃ puɹ (en)kˈɛnəθ(pt-pt) ɐpˈɛl i wulfɡˈɐ̃ŋɡ ˈakeɪŋ ɐpˈɔʒ mwˈiŋtɐʃ pɹˈɔvɐz i kˈoŋtɹɐˌezˈeɪmplʊʃ fˈɑlsʊʃ aʊ kˌuŋtɹˈaɾjʊ dʊ tˌiuɾˈemɐ dɐʃ sˈiŋkʊ kˈoɾɨʃ, pɹˌuvˈadʊ nɐ dˈɛkɐdɐ dɨ mˈil ˈoɪtusˈeɪŋtuʃ, kɨ ˌɐfˈiɾəmɐ kɨ sˈiŋkʊ kˈoɾɨʃ sɐ̃ʊ̃ sˌufisiˈeɪŋtɨʃ pˌɐɾɐ kˌuluɾˈiɹ ũŋ mˈapɐ.