>>881
L/Kをガロア拡大、M/Lをf(x)の完全分解体とする
g(x),h(x)をf(x)ほL(x)での規約因子とするときg(x), h(x)はGal(M/K)の作用で移り合う、(∵ g(x)の根α、h(x)の根をβとするときg(x),h(x)はα、βの最小多項式でα、βはGal(L/zk)の作用で共役)
よって主張が成り立つ