prove x^3 is injective