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

~ а о о - &[е*(Ъ)-е] .< £ [ сЦ Ъ ) - б ] V ¿ ( ^ ) ~ с 1 ( г 0) $ 1 [ с Ц Я ) ~ 6 } - ■ (5 .9 ) Из (5 .8 ) и ( 5 . 9 ) получаем искомое неравенство (5 .7 ). Для доказательства теоремы остается немного. Обозначая ¿ = / 7 ь а л С (С ,) и К = I ( V ) ] • имеем ¿ ( Т ^ ) * ¿, ■Ы. (Тс) + К * Присоединение ^ пред­ полагает существование ребер С , общих для ^ ' т1 , ^т. с € [ ¥ ( е ) ) > 1 . Однако сумма длин 9Х значения заведомо меньше К . Из данных оценок для в ( Т ; ) я неравенства ( 5 .7 ) по- ь для нолугруппы П с условиями <а , б , В заключение я выражаю глубокую признательность Мартину Давидлвичу Грнндлингеру яа внимание и помощь в работе. лучаем:ЮСМа | ¿ ( Т * ) ± 1 . < 1 ( т к) + К $ I ¿ ( и ) + к $ *т£'2и(Та)+зи(г„)]-к * г 5 1 [‘/¿(и)+есу)]+к*2