text: Если ОГР верна, то любая собственная подгруппа мультипликативной группы ( Z / n Z ) × {\displaystyle (\mathbb {Z} /n\mathbb {Z} )^{\times }} не содержит числа, меньшие 2(ln n)2, как и числа, взаимно простые с n и меньшие 3(ln n)2.