抽象代数证明:设S3,S4分别为三、四次对称群,K4为Klein四元群,证明:S4/K4 ≌S3