Appel and Haken used a special-purpose computer program to confirm that each of these maps had this property.
Οι Appel και Haken χρησιμοποίησαν ένα ειδικά φτιαγμένο πρόγραμμα υπολογιστή για να επιβεβαιώσει ότι καθένας από αυτούς τους χάρτες είχε αυτήν την ιδιότητα.