回答

b'+4を7で割ったあまりが2ということは、b'を7で割ったあまりは4を引いて2-4=-2になります。
7で割るとき余り7になれば商が1つ大きくなって余り0になるので、余り-2は、結局余り5を意味します。

合同式で書けば、その性質から当たり前です。
b'+4≡2(mod7)
b'≡-2≡5(mod7)ですね。

この回答にコメントする
疑問は解決しましたか?