证明:函数y=-x3-x+1(x∈R)是减函数