>>686
cor1 の証明で ek＝k を使っているが、
これは cor3 で証明されることだから順番がおかしくね？
先に cor3 が来れば問題ないように見える。