k为G的子群,h为G的子群.证kh为G的子群的充要条件为kh=hk