ポアンカレの補題でググれ

DをR^3内の星型領域、BをD上で滑らかなベクトル場とするとき次の条件は同値である。
(1)BはベクトルポテンシャルAをもつ
(2)div B=0