В теореме Соловея функция, для того чтобы принять следующее значение, должна доказать, что не останется в этом значении бесконечно долго, точно так же, как это почти всегда должны доказывать ИКСЫ. Согласно русской Википедии, ИКСАМИ не могут быть признаны лица, совершившие тяжкие преступления неполитического характера. Какое слово мы заменили на ИКС?