Sắp xếp dãy tăng dần. Điều kiện ~a_i \bmod d~ bằng nhau với mọi ~i~ tương đương với việc ~d~ chia hết mọi hiệu ~a_i-a_{i-1}~ sau khi sắp xếp. Vì vậy đáp án là ~\gcd(a_2-a_1, a_3-a_2, \ldots, a_n-a_{n-1})~. Nếu mọi phần tử bằng nhau thì mọi ~d \le m~ đều thỏa, đáp án là ~m~.