帰納法的な証明ができればそれで良いのかなと思ったり