El teorema de Heffter-Young proporciona una condición suficiente para la igualdad de las derivadas cruzadas de una función real de dos variables reales.
Teorema.
Sea
abierto y sea
Si las derivadas parciales
existen en una bola
y son diferenciables en
entonces 
Corolario.
Sea
abierto. Si
es dos veces diferenciable en
entonces 
Demostración.
Sin pérdida de generalidad, podemos suponer que
existen en
y son diferenciables en
Como
es diferenciable en 
Sea
donde
Sea
fijo y consideremos la función auxiliar
Aplicando el teorema del valor medio tenemos
Como
es diferenciable en
tenemos las siguientes relaciones:
de donde se deduce que
y por lo tanto
Ahora bien,
y llegamos a la conclusión de que
Aplicando un razonamiento análogo a la función auxiliar