| Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices. | Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин. |
| Using the same reasoning, they show that a counterexample to Albertson's conjecture for the chromatic number n (if it exists) must have fewer than 4n vertices. | Используя те же доводы, они показывают, что контрпример гипотезе Албертсона с хроматическим числом n (если таковой существует) должен иметь менее 4 n вершин. |
| At one time it was unclear whether a complex surface such that q and P1 both vanish is rational, but a counterexample (an Enriques surface) was found by Federigo Enriques. | Одно время было неясно, являются комплексные поверхности с нулевыми q и P1 рациональными или нет, но Федериго Энрикес нашёл контрпример (поверхность Энрикеса). |
| The Perko pair gives a counterexample to a "theorem" claimed by Little in 1900 that the writhe of a reduced diagram of a knot is an invariant (see Tait conjectures), as the two diagrams for the pair have different writhes. | Пара Перко даёт контрпример «теоремы», объявленной Литтлом в 1900, что число закрученности приведённой диаграммы узла является инвариантом (см. Гипотезы Тэйта), так как две диаграммы пары имеют различные числа закрученности. |
| 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}, то любой контрпример был бы теми самыми тремя квадратами, которые удовлетворяют уравнению. |