" Большая часть " простых " доказательств давно найдена " , - объясняет главный программист корпорации Intel Джон Харрисон .
"$0 больший$1596 часть$1446 "$0 простой$1554 "$0 доказательство$1556 давно$36 найти$1516 "$0 ,$0 -$0 объяснять$18 главный$1458 программист$1448 корпорация$1454 Intel$676 Джон$1448 Харрисон$1448 .$0