효율적이고 안정적인 병합 정렬 알고리즘 - 거의 무료로 증명하기

관계적 매개변수성을 사용하여 안정적인 병합 정렬 함수를 새로운 방식으로 특성화하고, 이를 통해 병합 정렬의 정확성을 증명할 수 있다.