b \equiv 8 \cdot 2 = 16 \equiv 7 \pmod{9} \implies b = 9c + 7