あるソート関数がちゃんとソートする事を証明

以前Merge Sort を実装して証明した。
http://d.hatena.ne.jp/yoshihiro503/20090923

ソースコード全体は以下。
http://bitbucket.org/yoshihiro503/mergesort/