Notably he was the first to use discharging for proving the theorem, which turned out to be important in the unavoidability portion of the subsequent Appel–Haken proof.
Είναι αξιοσημείωτο το γεγονός ότι ήταν ο πρώτος που χρησιμοποίησε την εκκένωση για να αποδείξει το θεώρημα, η οποία αποδείχθηκε να είναι σημαντική στο αναπόφευκτο τμήμα της απόδειξης του Appel - Haken.