群论中证明的语篇形式
获取群论理论的公理，用 CircleTimes 表示群的积 (group product)，用 
表示单位元。默认用形式符号 a, b, c 表示群的元素。
其中一个公理表明右侧式子存在。证明左侧式子存在。
获取人类可读的 11 步证明。
证明群论中的另一个公理。
显示步骤图，用更大的圆或三角形突出显示更重要的引理。
‹›
