Observa que el dominio de es , que está simplemente conectado. Además, es continua con funciones componentes diferenciables. Por lo tanto, podemos usar la prueba de divergencia para campos vectoriales sin fuente para analizar . La divergencia de es
Por lo tanto, es libre de fuente mediante la prueba de divergencia para campos vectoriales sin fuente.