定理とか公式とか以前に定義だってば

a,b,nは整数(nは2以上)
a-bがnbナ整除される
a≡b (mod n)