すいません知恵袋で見かけた煩雑そうなmodの計算変形式見たら
分からないのがいっぱい出てきます。たとえば
1≡5n＋4 (mod 3)
よって、n≡0 (mod 3)

この変形なんて全然わかりません。感覚的にはnは3で割り切れないといけないのは
分かりますが何故よってn≡0とできるのか？
modの性質は

a ≡ a (mod m)

a ≡ b (mod m) ならば b ≡ a (mod m)

a ≡ b (mod m) かつ b ≡ c (mod m) ならば a ≡ c (mod m)

この３種類くらいしか知らないのでn≡0とできたのがわかりません。