Réunis les deux phrases suivantes en une seule tout en conservant leurs sens : "Une épreuve informatique controversée a été achevée dans les années 1970 et prétend prouver le problème de la carte à quatre couleurs.  L'ordinateur a testé des millions de cartes différentes, mais pour Coxeter cette preuve n'était pas satisfaisante car elle est trop énorme et compliquée pour être vérifiée par un être humain." Version réunie : 
Un essai controversé par ordinateur réalisé dans les années 1970, prétend prouver le théorème de la carte à quatre couleurs ; l’ordinateur a testé des millions de cartes, mais Coxeter estimait que cette preuve n'était pas satisfaisante, car le théorème était trop étendu et compliqué pour être vérifié par un être humain.