マクスウェルの方程式において、電磁波の波動方程式を導出する際に用いられるベクトル公式 rot(rot A) の展開として正しいものはどれか。

ベクトル解析の恒等式 rot(rot A) = grad(div A) – ∇^2 A (ラプラシアン)は、電磁波の方程式導出に必須である。