1: \begin{equation}
2: \label{eq:derivation of beta gamma A c x}
3: S\derives_G^* \beta B cx \derives_G^* \alpha A c x\derives_G^* y.
4: \end{equation}
5: