中間体と部分群が対応するだけの話で実に当たり前でくだらないと思った。