a>b,b>c则a>c是不等式传递性质 怎么用基本性质推出来 a>b,则b