оааа °° -Б вы, Г1 Ч () М (ко, ). — (717,15)
74е
Оператор в левой части (7,17,14) и (7,17,15) представим
в виде }:а(‹;)ЬЧ. Следуя обычным рассуждениям с примене-
нием леммы 1.1.8, получим, что можно отбросить д > © —
== ехрИппл)* с допустимой погрешностью, именно: (7,17,14)
и (7,17,15) получат выражения

® е(9)ГаМ (к, -В( (/))" ехр— ф (ття) (717,16)
4<4(0)
и

1
Х« (0 14 (к, Г) -НВЗЕ 6 (М))" ехр— { (т л), (11717)

4<4(©)

тде
а (4) — В (:(4))" ао ^ (7,17,18)
Здесь :
(4, 4) == (, 4) ==1, (7,17,19)
аз ^ < (к (›/))“*. (7,17,20)

Сравнения Х = , (той 4М) и Х = А (той 4М) автоматически
требуют нечетности Х, ибо (/4,, 4) ==1. Мы можем приме-
нить основную лемму 1.6.5, учитывая, что д < д® ==ехр (1п п п)°
в формулах (7,17,16) и (7,17,17), и считая С, в основной лемме
1.6.5 заданной так, что

% < т (7,17,21)

Все наши рассуждения относились к заданному 8|л, 8 ==

‚ в 1 З,
==ро- +р и к числам Х, типа 121?..…‚' (см. 7,17,2). Для таких
М 3

еЕттон ’ делится еще на
р1 1» р[[

оОН (7,17,29)
]г*осі 1

чисел,

и нё делится на остальные р;. Выделим среди чисел (7,17,29)
такие числа (если они есть), что

П > ехр (т п л)? (7,17,23)
@ау +*- › ®)
и оставим такие, что
: П < ехр (т п п)°. (7,17,24)
@ нае) 0

1

166