a=b(modn) ise x∈Z olmak üzere a+x=b+x(modn). Çünkü n∣(a−b) ise n∣(a+x)−(b+x) olur. Yani ilk sorun doğru. Her iki tarafı −3 ile toplarız. İkinci sorun için 9∣(3x−6) ise 3x=6+9k olacak şekilde k∈Z var. Buradan k=−1 için x'in en büyük negatif tamsayı değerini bulabilirsin.