これを見るためには、(有限生成)正規部分群と商の生成集合をとれ。