Şöyle düşünmek daha sağlıklı olur bence;
a\equiv b \pmod{p} ise a\equiv b+pq \pmod{p} 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\equiv b \pmod{p}\quad p\mid(a-b)\Rightarrow a-b=pk\Rightarrow a=b+pk anlamına geliyordu. O zaman şöyle diyebiliriz;
a=b+pq+pr\quad (q+r=k için) yani \quad a-(b+pq)=pr\quad hala \quad p\mid[a-(b+pq)]\quad diyebildiğimiz için a \equiv b+pq \pmod{p} diyebiliriz...
-26\equiv -26 +6\cdot5\equiv 4 \pmod{5} ve 4^2\equiv 1 \pmod{5} olduğunu biliyoruz o zaman;
4^{2015}=(4^{2})^{1007}\cdot4 \equiv 1\cdot4 \equiv 4 \pmod{5}