Gruppentheorie-Beweise in Textform
Ermitteln Sie die Axiome der Gruppentheorie, indem Sie CircleTimes als Gruppenprodukt und 
als Identitätselement verwenden. Gruppenelemente werden standardmäßig als a, b, c dargestellt.
Eines der Axiome besagt, dass es eine richtige Identität gibt. Beweisen Sie die Existenz der linken Identität.
Ermitteln Sie eine menschenlesbare Form der elf Schritte des Beweises.
Beweisen Sie ein anderes Theorem in der Gruppentheorie.
Veranschaulichen Sie ein Diagramm seiner Schritte und markieren Sie wichtigere Lemmata als größere Kreise oder Dreiecke.
