问答题 用一棵树2叉有序正则树表达上面的算式。

问答题 判断公式的类型：

问答题 设∣G∣＞2，且a∈G，a2=e，证明G必含4阶子群。