den vektoranalytiska satsen \iint_{\partial D} \mathbf{A} \cdot d \mathbf{S} = \iiint_D (\nabla \cdot \mathbf{A}) dV där \mathbf{A} är ett kontinuerligt deriverbart vektorfält, D är ett kompakt område med rand \partial D som består av kontinuerligt deriverbara ytor och det vektoriella ytelementet \mathbf{S} alltid pekar ut ur D