長らく補題 3 の証明を放ってしまっていたので、ぼちぼちやります。 補題 3 の証明(前半) とおき、 は となるものを一つ固定しておく。そして として、 は となるものを一つ取る。 このような操作を続けて として、 を となるように(可能であれば)取る。 こ…