>>931
数学的帰納法とかもそんな感じだからいいでfa?