Помітимо, що n\bmod (n-x) = ((n-x)+x)\bmod (n-x) = x\bmod (n-x) = x при x<2n. Отже, всі числа що строго менші за 2n зустрінуться серед даних чисел.
З іншого боку, $n(n-x) = ((n-x)+x)(n-x) = x(n