んー
自己同型の話もありましたが、正規部分群のそれぞれの元の位数に2がないとはきちんと示さないといけないような気がします。