∀k≧1, n = kの時正しいと仮定したら示すことないじゃん