>>241
帰納法を使うならそれも示さないといけない。