5a + 3 \equiv 4 \pmod{7} \implies 5a \equiv 1 \pmod{7}