Ученые записки математических кафедр вып. 1970 г.

V Обозначим это множество таким образом! 7П— { . . . ; , Следовательно, мы имеем 5 равенств! , И - схИ^ г , ? Ч ~ О . Ц . 5 . ■ Из каждого элемента £*¿7^ который имеет дополнительное определяющее слово в качестве левой части мы эффективно найдём конечное число других элементов^ равных и в а следующим образом: из условий а )1-,б) и в ) следует; что существует только конечное число элементов Сс &1 Г таких, что С . - левая часть а » только конечное число элементов ОкС1} такиху что О = С сОкС£) > а их можно эффективно найти, заменяя С (- на всевозможные равные ему элементы ( их лишь конечное число ввиду условий 3 ) и 4)), мы получаем конечное множеств© Л1<^ элементов? равных \Х ъ ( Л вида и / . из леммы I ; при Н '= 0 Теперь предположим по индукции, что через "Ь вагов мы эффейй тивно нашли конечное множество А 1 ^ элементов; равных Ы. в (Л вида: V/ =С; ■ ■ ■С • С. \д/ ", « •ч-* ч причём в се условия леммы I выполняются', и выясним следующий шаг для каждого набора элементов Ц В , С , О . Е , Г , & , С „ так ого, ЧТО \л/= V • ( £\ 1л/ € \л/<^ } С ^ Л . } положим 1 а / '= ~С^_( £ СгГе Л \<^ . Явно;* что если 1д/ £ ^ то 1л/ — Ц * все условия леммы-I выполняются для \л/ . Из условий аУ,бУ,“в) и 4) следует', что -конечное множестве и можно эффективне дойти все его элементы# -30/-