$\ \ \ \ \ \ \ \ \ 17x \equiv 1 \ (mod \ 5) $
$\implies 17x = 5k+1\ \ \ \ \ \ \ k\ \in \mathbb{Z} $
$\implies 15x+2x= 5k+1\ \ \ \ \ \ \ k\ \in \mathbb{Z} $
$\implies 2x= 5(k-3x)+1\ \ \ \ \ \ \ k\ \in \mathbb{Z} $
$\implies 2x= 5k'+1\ \ \ \ \ \ \ k'\ \in \mathbb{Z} $
$\implies 2x \equiv 1 \ (mod \ 5)$
Basic idea is that $15x$ will leave $0$ remainder with $5$, irrespective of the value of $x$.
It is a common practice to reduce the numbers larger than the modulus in the congruence relation to corresponding remainders.
Modulus also has commutative and associative properties with addition and multiplication, which further help in simplifying the congruence relations.
\pmod 5
to get $\pmod 5$. I'd do it for you but my arthritis is kicking up. – Mr. Brooks Jun 26 '17 at 20:43