Initially, their proof was not accepted by all mathematicians because the computer-assisted proof was infeasible for a human to check by hand (Swart 1980).
در ابتدا اثبات آن‌ها از طرف همه ریاضیدان‌ها مورد تأیید واقع نشد، چرا که چک کردن یک اثبات کامپیوتری توسط انسان امکان‌پذیر نبود(Swart ۱۹۸۰).