Multiplying both sides by the modular inverse of 4 modulo 7, which is 2 (since $4 \cdot 2 = 8 \equiv 1 \pmod{7}$), we get: