Şöyle düşünmek daha sağlıklı olur bence;
a≡b(modp) ise a≡b+pq(modp) sonucuna da ulaşılırız, yani denkliklerde yalnızca bir çözüm değil sonsuz farklı çözüm bulunabileceği için istediğimiz kadar p eklemekte serbestiz (doğru koşullarda tabii).
İspatlayalım;
Tanım gereği a≡b(modp) p∣(a−b)⇒a−b=pk⇒a=b+pk anlamına geliyordu. O zaman şöyle diyebiliriz;
a=b+pq+pr (q+r=k için) yani a−(b+pq)=pr hala p∣[a−(b+pq)] diyebildiğimiz için a≡b+pq(modp) diyebiliriz...
−26≡−26+6⋅5≡4(mod5) ve 42≡1(mod5) olduğunu biliyoruz o zaman;
42015=(42)1007⋅4≡1⋅4≡4(mod5)