| The Errera graph, on the other hand, provides a counterexample to Kempe's entire method. | Граф Эрреры, с другой стороны, даёт контрпример полному методу Кемпе. |
| It is known through computer searches of Gordon Royle and Klas Markström that any counterexample must have at least 17 vertices, and any cubic counterexample must have at least 30 vertices. | Компьютерный поиск, осуществлённый Гордоном Ройлом (англ.)русск. и Класом Маркстрёмом (Klas Markström) показал, что любой контрпример должен иметь минимум 17 вершин и любой кубический контрпример должен иметь минимум 30 вершин. |
| If a counterexample is being sought or a large-scale proof by exhaustion is being attempted, distributed computing techniques may be used to divide the calculations between multiple computers. | Если ищется контрпример или нужно произвести доказательство, требующее перебора большого объёма, может быть использована техника распределённых вычислений для распределения вычисления между компьютерами. |
| The existence of smoother counterexamples remained an open question until 1993 when Krystyna Kuperberg constructed a very different C ∞ {\displaystyle C^{\infty}} counterexample. | Существование более гладких контрпримеров оставалось неизвестным до 1993 года, когда Кристина Куперберг, используя технику ловушек, не построила C ∞ {\displaystyle C^{\infty}} -гладкий контрпример (пример Куперберг). |
| But, if Fermat's last theorem were false for the exponent n = 4 {\displaystyle n=4}, then squaring one of the three numbers in any counterexample would also give three numbers that solve this equation. | Но если бы великая теорема Ферма не была бы верна для экспоненты n = 4 {\displaystyle n=4}, то любой контрпример был бы теми самыми тремя квадратами, которые удовлетворяют уравнению. |