4 - наибольшее возможное значение величины, равной наименьшей из разностей между номерами соседних (по кругу) секторов. Один из вариантов расположения номеров секторов на рис.1.
5 и более получить невозможно, так как для числа 5 с одной стороны можно расположить сектор с номером 10 (10-5=5), а с другой стороны получить разность, более 4, нельзя, так как 5-1=4 и 9-5=4.
Аналогично для числа 6. Если с одной стороны можно получить разность 6-1=5, то с другой стороны более 4 не получится, так как 10-6=4 и 6-2=4. Рис.2 и рис.3
2x = 70000 - 7y
x = 35000 - 3,5y
x>0, y>0 - так как X и Y натуральные.
Согласно условию неотрицательности X и Y, пар, удовлетворяющих последнему уравнению будет 10001 (y=0, 1, 2, 3,...,10000). Однако, при НЕЧЁТНЫХ Y, X будет принимать дробные значения. Из 10 тысяч возможных значений Y отбросим нечётные. Их ровно 5000.
Далее спорная ситуация - кто-то причисляет 0 к натуральным числам, кто-то нет. Если Вас учат тому, что 0 - натуральное число, то значений будет 10001-5000 = 5001, если же 0 - НЕ НАТУРАЛЬНОЕ в Вашей программе, то значений будет 10001 - 5000 - 2 = 4999. Двойка в последнем выражении - это две пары X=0, Y=10000 и X=35000, Y=0.