(\sigma_1 \circ \sigma_2)^{-1} = {\sigma_1}^{-1} \circ {\sigma_2}^{-1}