We know that, for example,
$2x \equiv 3 \mod 4$
has no solutions since
$2\mid 2x, 2\mid 4,$ however 2 does not divide 3.
So my question is, how does one get from
$2x \equiv 3 \mod 5$
to
$x \equiv 4 \mod 5$?
In other words, could someone please explain the steps involved going from $2x = 3 + 5k$ to $x = 4 + 5k$, where $k\ \epsilon \ \mathbb{Z}$.