is x^4 injective