is x%5E2 injective on x%3E0