a \equiv 3 \cdot 1 = 3 \pmod{7} \implies a = 7b + 3