hを、無限遠で0であり、かつ、div h＝0を満たす、単連結領域"v" 上で定義されている3次元ベクトル場とする。