증명하고자 하는 명제는입니다. 일단 베이스 케이스를 로 두고 이라는 걸 알 수 있습니다. 라고 가정 합니다.그럼 우리가 증명해야 하는 것은 가 됩니다. 돌들을 두 그룹으로 나누고 각각 의 돌들이 있다고 합니다.그렇다면 위 가정 아래 가 됩니다.그러면 이고 이니 가 됩니다.증명하고자 하는걸 증명 하였습니다.