Helmholtz decomposition — theorem