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