prove that f(x)=x^3 is injective