In 1976, Wolfgang Haken and Kenneth Appel used a computer to prove the four color theorem.
En 1976, Wolfgang Haken e Kenneth Appel utilizaron un computador para probar o teorema das catro cores.