"Исследуя один из подходов к проблеме [гипотеза Пуанкаре], [Вольфганг] Хакен разложил все возможные случаи на 200 вариантов, решил 198 из них и еще 13 лет безуспешно сражался с двумя оставшимися" (С. Иэн, Величайшие математические задачи, с. 118).