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

问答题 在一阶逻辑自然推理系统NS中构造下面的推理的证明：

问答题 G对应T的所有基本割集