12以上だな
帰納法の方がよくないか?