>>494
普通に帰納法。