K가 F의 갈루아 확대체일때
K의 부분체 L H에 대해서 G(K/L교H)=G(K/H)합G(K/L) 이다.

이거 맞음?