>>24の命題のθとして、L = K(θ) となるものがとれる。

この証明も演習問題として提出しておく(証明は高木に載っているが)。