Let $G$ form an D23: Abelian group.
Let $H$ form a D496: Subgroup of $G$.

Then \begin{equation} \forall \, g \in G : g H = H g \end{equation}