| Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices. | Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин. |
| It was only later that he found the first counterexample, with k = 16. | Несколько позднее он нашел первый контрпример, с к = 16. |
| The standard counterexample is complex projective space with the Fubini-Study metric; sectional curvatures of this metric take on values between 1 and 4, with endpoints included. | Стандартный контрпример - комплексное проективное пространство с канонической метрикой; секционная кривизна метрики принимает значения между 1 и 4, включая конечные точки. |
| 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 вершин. |
| Two years later, Sergei Adian showed that certain Burnside groups are also counterexamples. | Два года спустя, Адян показал, что определённые Бернсайдовские группы также дают контрпример. |