\] For all $\ell_0,\ldots,\ell_k,\ell'_{0},\ldots,\ell'_{k'},m$, we have: $${\mathcal{G}}(S_{\ell_0,\ldots,\ell_k}         \begin{tikzpicture}[baseline=-0]\draw (0,0) node[circle,fill=black,minimum size=0,inner sep=0]{} -- (0.0,0) node[circle,fill=black, minimum size=0, inner sep=0] {} node[midway,above,scale=0.0] {$m$};\end{tikzpicture}         S_{\ell'_{0},\ldots,\ell'_{k'}})         =         {\mathcal{G}}(S_{\ell_0,\ldots,\ell_k}         \begin{tikzpicture}[baseline=-0]\draw (0,0) node[circle,fill=black,minimum size=0,inner sep=0]{} -- (0.0,0) node[circle,fill=black, minimum size=0, inner sep=0] {} node[midway,above,scale=0.0] {$m\bmod0$};\end{tikzpicture}         S_{\ell'_{0},\ldots,\ell'_{k'}})