Beweise das folgende Untergruppenkriterium. Eine nichtleere Teilmenge ${\displaystyle {}H\subseteq G}$ einer Gruppe ${\displaystyle {}G}$ ist genau dann eine Untergruppe, wenn gilt:

${\displaystyle {\text{ für alle }}g,h\in H{\text{ ist }}gh^{-1}\in H.}$