Both of these theorems are only known to be true by reducing them to a computational search that is then verified by a computer program.
Обидві ці теореми, як відомо, є істинними але це потребує спрощувати їх до обчислюваного пошуку, який перевіряється за допомогою комп'ютерної програми.