However, the unavoidability part of the proof was verified in over 400 pages of microfiche, which had to be checked by hand with the assistance of Haken's daughter Dorothea Blostein (Appel & Haken 1989).
Ωστόσο, το αναπόφευκτο κομμάτι της απόδειξης πιστοποιήθηκε σε περισσότερες από 400 σελίδες μικροδιαφανειών, οι οποίες έπρεπε να ελεγχθούν με το χέρι (Appel & Haken 1989).