О числе маленьких решений линейного однородного сравнения

Доказано, что при натуральном $r\to\infty$ для почти всех вычетов $u(\operatorname{mod}r)$ число решений сравнения
$$ ux\equiv y(\operatorname{mod}r), $$
где $1\leqslant x$, $y\leqslant n$, равно величине $\dfrac{n^2}{r}(1+o (1))$, если
$$ (r^2\log\log r)^1/3=o(n). $$

Библиогр. 3 назв.