電磁気のクーロンゲージの話がよくわからないんだけど、∇•𝔸=0は静電場の条件を含んでいるという解釈でいいのかな？
そうなると静的条件から∇•𝔸=0を満たすようなφ,𝔸が存在することを示せるの？