Euclidean Diffeomorphisms Have Invertible Jacobian