Forma textual de uma prova em teoria dos grupos
Obtenha os axiomas da teoria dos grupos, usando CircleTimes como produto do grupo e 
como elemento de identidade. Elementos de grupo são representados de forma padrão como símbolos formais a, b, c.
Um dos axiomas afirma a existência da identidade da direita. Prove a existência da identidade da esquerda.
Obtenha uma forma legível por humanos dos 11 passos da prova.
Prove outro teorema na teoria dos grupos.
Mostre um gráfico dos seus passos, destacando os lemas mais importantes como círculos ou triângulos maiores.
