Seja F = (f, g) : R2 → R2 uma aplicação polinomial tal que det DF(x) é diferente de zero para todos x ∈ R2. Assumimos que os graus de f e g são iguais. Denotamos por e as partes homogêneas de maior grau de f e g, respectivamente. Nesta nota, damos uma demonstração baseada na teoria qualitativa de equações diferenciais do seguinte resultado: Se F é injetora. não têm fatores lineares em comum, então
Conjectura Jacobiana real; injetividade global; centro; compactificação de Poincaré