[K(a,b):K]=[K(a,b):K(a)][K(a):K]라 놓고 [K(a,b):K(a)]=[K(b):K]임을 보이면 증명이 되는 것 같아서 b의 K위의 기약다하식을 P(x)로 놓고 b의 K(a)위의 기약다항식을 g(x)로 놓아서 g(x) l p(x)인 것은 보였는데 p(x)가 g(x)를 나눔을 보이는 것을 잘 모르겠습니다.