Genel olarak denklik yani kalandaşlık tanımını kullanarak çözelim a ve b sayılarının x sayısına bölümünden kalanları eşitse a≡b(modx)'tir.
İspatlayalım: (Tamsayılarda çalışıyoruz)
a=px+r1 ve b=cx+r2 olsun, eğer durum bu şekildeyse a≡b(modx), x∣(a−b) anlamına geldiği için a−b'yi inceleyelim. a−b=x(p−c)+r1−r2
kalandaş oldukları yani r1=r2 olduğu için a−b=x(p−c) oldu. O zaman a−b x'nin bir katıdır ve x∣(a−b) demek ki a≡b(modx)
Bunu bu soruya uyarlayacak olursak 124≡185(modx) olur bu durumda x∣(185−124)⟹x∣61 demek ki x 61 sayısının bir katı olmalı, bu da 61 asal olduğundan ötürü x=1 veya x=61 durumlarını mümkün kılar (ikisinin de 10'a bölümünden kalan aynı ancak 1'in mod olarak alınması da anlamsız) bu sebepten x=61 üzerine x≡61≡1(mod10) deriz...