Работаем в поле остатков по модулю a. Возьмëм b последовательных чисел, a/2<b<a. Домножим каждое число из первого множества на c, получим новое множество. Нужно получить оценку снизу на количество элементов, которые есть в обоих множествах. a, b и c попарно взаимнопросты.