离散数学：证明12阶可交换群必有6阶子群。