Таким образом , доказательство было принято , но , можно сказать , без гарантии : 265 страниц текста и 40 000 строчек компьютерного кода никто так и не проверил полностью .
такой$1754 образ$1468 ,$0 доказательство$1528 быть$1488 принять$1672 ,$0 но$0 ,$0 можно$36 сказать$1490 ,$0 без$0 гарантия$1454 :$0 265$1384 страница$1566 текст$1538 и$0 40 000$1384 строчка$1566 компьютерный$1622 код$1538 никто$2038 так$36 и$0 не$0 проверить$1620 полностью$36 .$0