X属于全体实数,X的立方减X加1不等于零.求证明