Докажите, что для двух различных натуральных целых чисел a и b существует такое число n, по модулю которого они конгруэнтны, где n меньше большего числа из этой пары а и b, либо приведите пример такой пары, которая не подчиняется такому условию.

Краткая запись:

Ɐa,bєN,a≠bƎnєN:
Ɐn