Aut(K/F)의 fixed field가 F1일때
F가 F1의 subfield라는게 F는 자동으로 고정되니까 그런거맞나
F1=F가 아닌게 너무 헷갈리게하네

- dc official App