근데 그 알고리즘 증명은 얼케함?
경우를 한두가지 따져보니 신기하긴한데...