任意のnについてP(n)を示すのに、任意のkに対してP(k)を仮定している