L/Kはガロア拡大
既約多項式f∈K[X]がL[X]で既約多項式gi (i=1, ..., k)の積に分解するなら、giの次数はすべて等しい

これが解けません