Add a - above the equals to get 0000 $\equiv$ 8, which is true assuming we are working in the ring $\mathbb{Z}/\mathbb{2Z}$. (Note I'm trying to avoid writing [0] = [8]...)

Add a - above the equals to get $0000 \equiv 8$, which is true assuming we are working in the ring $\mathbb{Z}/\mathbb{2Z}$. (Note I'm trying to avoid writing $[0] = [8]$...)