https://9dok.net/document/z1d9lowd-die-korrektheit-von-mergesort.html