>>173
?
帰納法のが明快やん