알고리즘에 귀납법이 오지게 유용하구먼