We have $$\begin{align} [b]&=[b1]\\ &=[b]\color{red}{[1]}\\ &=[b](\color{red}{[a][c]})\\ &=([b][a])[c]\\ &=[ba][c]\\ &=[ab][c]\\ &=(\color{blue}{[a][b]})[c]\\ &=\color{blue}{[1]}[c]\\ &=[1c]\\ &=[c]. \end{align}$$