Suppose k > d + 1 (otherwise, there is nothing to prove).
k > d + 1 を仮定する（そうでない場合は証明する必要がない）。