m-k=3の場合には成立しない。

はm-k>=3の場合。には

と書くべきなんじゃないかなあ

そうすると②③④の場合ぜんぶやらんといかんのでは？