Восемь букв

Тур 1, вопрос 12

В первой половине прошлого века группа математиков с помощью ЭТОГО решала, верна ли выдвинутая теорема. Сделайте верный выбор из всех ваших версий и назовите ЭТО.