두 번째 사진 맨밑부분에 for all a in E\K, a is totally inseparable임을 F에 a랑 irr(a,K)의 계수들을 추가해서 F의 finite ext을 만들어서 보이는데 이게 왜 Thm 52.5랑 연관이 되어서 원하는 결과를 얻을수있게 되는지 이해가 안됨

- dc official App