Observa que el dominio de es todo y que las parciales de segundo orden de son todas continuas. Por tanto, podemos aplicar el teorema anterior a .
La divergencia de es . Si fuera el rotacional del campo vectorial , entonces . Pero, la divergencia de no es cero y, por lo tanto, no es el rotacional de ningún otro campo vectorial.