Constancy of the index for gradient mappings

We show that if the Hessian of a $C^{1,1}$ function has uniformly positive determinant almost everywhere then its index is locally constant, as conjectured by Šverák in 1992. We deduce this result as a consequence of a more general theorem valid for quasiregular gradient mappings.