is sqrt x injective