Algs4-1.1.26证明以下代码能够将a、b、c按照升序排列

1.1.26将三个数排序。假设a、b、c和t都是同一种原始数字类型的变量。证明以下代码能够将a、b、c按照升序排列：
if(a>b){t=a:a=b;b=c}
if(a>c){t=a;a=c;c=t;}
if(b>c){t=b;b=c;c=t;}
证：
第一行代码确保了 a<=b,第二行代码确保了a<=c,那么a将是最小值。
第三行代码确保了 b<=c,而又有a<=b,所以确保了a<=b<=c，证毕。