∀k(P(k)→P(k+1))を仮定すれば
P(king)→P(king+1)が得られるということね