>>365
帰納法でできる