Jacobians and branch points of real analytic open maps

The main result is that the Jacobian determinant of an analytic open map from Euclidean n-space to itself does not change sign. A corollary of the proof is that the set of branch points has dimension < n-1.