" Но удостоверить корректность доказательства в целом они не смогли и в будущем тоже не смогут , потому что сил на эту задачу у них больше нет " , - заключил редактор .
"$0 но$0 удостоверить$1490 корректность$1460 доказательство$1452 в$0 целое$1664 они$200 не$0 мочь$1642 и$0 в$0 будущее$1664 тоже$0 не$0 мочь$1786 ,$0 потому$36 что$0 сила$1566 на$0 этот$1730 задача$1460 у$0 они$1952 больше$176 нет$18 "$0 ,$0 -$0 заключить$1620 редактор$1448 .$0