y=-x^3是增函数还是减函数

y=-x^3是
减函数有没有过程？函数图像啊，这也要证明啊，证证看吧：
设x1>x，且x1=x+t，t>0
则y(x1)-y(x)
=(-x1^3)-(-x^3)
=x^3-x1^3
=(x-x1)(x^2+xx1+x1^2)
=-t(x^2+x(x+t)+(x+t)^2)
=-t(3x^2+3tx+t^2)
=-3t(x^2+tx+t^2/3)
=-3t((x+t/2)^2+t^2/12)
<0
所以y(x1)减函数！