提示证明PSL2(Z) 同构于 C2 * C3 时，要证明它们的关系一致，即群表示一样，但是这里为啥不考虑其他形式的乘积譬如(x^(±1)y)...(x^(±1)y)，（y^(±1)x^(±1))....(y^(±1)x^(±1)) ≠ e之类的，而只考虑题中yx形式的乘积不等于e？