Their proof reduced the infinitude of possible maps to 1,936 reducible configurations (later reduced to 1,476) which had to be checked one by one by computer and took over a thousand hours.
Η απόδειξη τους μείωσε την απειρία των πιθανών χαρτών σε 1.936 μειώσιμες διαμορφώσεις (αργότερα μειώθηκαν σε 1.476), οι οποίες έπρεπε να ελεγχθούν μία προς μία από τον υπολογιστή, και απαιτήθηκαν πάνω από εκατό ώρες.