>>179
n≦kでの成立を仮定するスタイルの帰納法で∀n,P(n)を証明するのと、
n＝kでの成立を仮定するスタイルの帰納法で∀n,k≦n⇒P(k)を証明するのとは、
文章の細部が違うだけで、ほぼ同じ流れの証明だよ。
区別する必要が、あまり無い。