Non-proper value set and the Jacobian condition

The non-proper value set of a nonsingular polynomial map from ${\text{C}}^2$ into itself, if non-empty, must be a curve with one point at infinity.