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

~*Э0- Обратно, пусть выполняются условия I ) и 2 ). В силу 2) существуй1 Ч\ ( а ' . - ,,}0~ГЬ ,О'П* / ; & > . ■ л » ( й п , , ( . , 0-п.гт, ) •"/ а ~-,а пч, ■■,, О-Н +П 14 ,&Ц.+ >*4 +1 Г • и ( а <' ..., ; &П4{, . . .,0-я^т, , ^ » • » , ♦ < » которые обеспечивают истинность Ф на О д ,£ Определим для Ф разрешающие функции на С * Ч< (* ...... / ' ( а < .......................... ... ................... <Н Ч»ъ(Х* ,- ,Хт,>ХпЧ**' - >Х"ч) ~Упь Р-*""><1п->Т,>"> Т» , ! Хл ,./, - о Так как для любых Х 1 , X» , * , ... ,Хтк , отображение ^ : О., 0-ц. 0-п*1 ••• ^•'■>"4 ••• | |"™|, Г ' I I I —гч ~ > ... %П4 < >>. З-ЯЦ. Ч < Х * . , задает гоиоморфизм группы С „ ,т^ на £ Л I то { множеством разрешающих функций для Ф на (Ги. . Действитель* но, так как удовлетворяют формуле Ф* , т о существуем \