你能利用不等式的性质将不等式 x> y 变形为 y>x