He had checked about 40% of the unavoidability portion and found a significant error in the discharging procedure (Appel & Haken 1989).
Είχε εξετάσει περίπου το 40% του αναπόφευκτου τμήματος και βρήκε ένα σημαντικό σφάλμα στη μειωτική διαδικασία (Appel & Haken 1989).