Forma textual de una prueba en teoría de grupo
Obtenga axiomas de teoría de grupo, usando CircleTimes como producto de grupo y como un elemento de identidad. Los elementos de grupo son representados de forma predeterminada como símbolos formales a, b, c.
Uno de los axiomas establece la existencia de la identidad a la derecha. Pruebe la existencia de la identidad izquierda.
Obtenga una forma que pueda ser leída por humanos de los 11 pasos de la prueba.
Pruebe otro teorema en teoría de grupo.
Muestre un grafo de sus pasos, destacando los lemas más importantes como círculos o triángulos grandes.