This proof was controversial because the majority of the cases were checked by a computer program, not by hand.
Овај доказ је био контроверзан зато што је већина случајева била проверена помоћу рачунарског програма, а не мануелно.