This proof was controversial because the majority of the cases were checked by a computer program, not by hand.
Η απόδειξη αυτή ήταν επίμαχη γιατί η πλειονότητα των περιπτώσεων ελέγχθηκαν από ένα πρόγραμμα υπολογιστή, κι όχι με το χέρι.