Preuves de la théorie des groupes sous forme de texte
Obtenez les axiomes de la théorie des groupes, en utilisant CircleTimes comme produit de groupe et 
comme élément d'identité. Les éléments de groupe sont représentés par défaut sous forme de symboles formels a, b, c.
L'un des axiomes affirme l'existence de l'identité de droite. Prouvez l'existence de l'identité de gauche.
Obtenez une forme lisible par l'homme des 11 étapes de la preuve.
Prouvez un autre théorème dans la théorie des groupes.
Affichez un graphe de ses étapes, en mettant en évidence les lemmes les plus importants sous forme de cercles ou de triangles plus grands.
