いかなる整数 a b c dでも昇順にソートされることを証明して。
論理的に正しいことを説明してくれればいいよ。
仕事でプログラムを書いたらレビューでこう言う証明をするのは必須だよ。