帰納的に群から正規部分群を(存在すれば)取り出すことを繰り返せば、