Dimension of gradient measures

Supposons que les dérivées pures (pas nécéssairement du même ordre) d'une fonction sur Rn soient des mesures de Radon finies. On montre que leur dimension inférieure de Hausdorf est alors au moins n−1.