∫_v[x×(rotM)]dv = ∫_S [n(x･M)-(n･x)M]dS + 2∫_v [M]dv
x:位置ベクトル
M:任意のベクトル
n:Sの単位法ベクトル
S＝∂v

という式が成り立つそうですが、どうすれば証明できるかわかりません。
証明はめんどうだと思うので、知ってる方は参考文献などを教えてもらえませんか？