a + b + 3 \equiv 0 \pmod{9} \quad \Rightarrow \quad a + b \equiv 6 \pmod{9}