I'm trying to follow this example on solving systems of congruences to understand CRT, however I do not understand how the author solves the following congruence:
$$ 7j + 6 \equiv 4 \pmod 5 \\ j \equiv 4 \pmod 5 $$
If I were to attempt to solve this congruence, I would try $$ 7j + 6 \equiv 4 \pmod 5 \\ 7j \equiv -2 \pmod 5 $$ but I do not know if subtracting 6 from both sides is valid.
Assuming it is, I would just guess and check numbers until I found a $j$ such that $5|(7j + 2)$.
So how do I solve this congruence (ideally, without guessing and checking)?