>>877
分かりません。
あまりにも自明のように
よってn≡0
ってなってるので5n+4≡-n+1まで導いてるような行間があるもんですか？
もっとナチュラルにn≡0が求まるといいのですが。


http://mathtrain.jp/mod
加減算の性質
a≡b,c≡da≡b,c≡d のとき，
1：a+c≡b+da+c≡b+d
2：a−c≡b−da−c≡b−d
3：ac≡bdac≡bd 特に，ac≡bcac≡bc
また，
4：ab≡acab≡ac で， aa と pp が互いに素なら b≡c

これも理解してるつもりです。