Appel and Haken's final discharging procedure was extremely complex and, together with a description of the resulting unavoidable configuration set, filled a 400-page volume, but the configurations it generated could be checked mechanically to be reducible.
Η τελευταία διαδικασία αποφόρτισης των Appel και Haken ήταν εξαιρετικά πολύπλοκη και, μαζί με μια περιγραφή του αναπόφευκτου συνόλου διαμορφώσεων που προέκυπτε ως αποτέλεσμα, γέμισε έναν τόμο τετρακοσίων σελίδων, αλλά οι διαμορφώσεις που παρήγαγε μπορούσαν να ελεγχθούν μηχανικά έτσι ώστε να είναι μειώσιμες.